TeX source:
0.935 \div 0.25 = 3.75