0.8750000000