TeX source:
\mathrm{1.257}