TeX source:
0{,}\overline{285714}