3/7 as a decimal
$${\frac{{\mathtt{3}}}{{\mathtt{7}}}} = {\mathtt{0.428\: \!571\: \!428\: \!571\: \!428\: \!6}}$$
= $$0.\overline{428571}$$