TeX source:
0.12 \div 3 = 0.04