Source TeX:

0.5=\frac{1}{2}