Source TeX:

1,\overline{714285}