TeX source:
4 \div 0.05