TeX source:
1.333 \ldots