TeX source:
0.5 \div 0.25 = 2