TeX source:
1 = 1.\overline{0} = 1.000000000000000\cdots