TeX source:

0.12 \div 3