TeX source:

1.333 \ldots=1 . \overline{3}