TeX source:
\frac{1.25}{1}