3/7 into decimal
$${\frac{{\mathtt{3}}}{{\mathtt{7}}}} = {\mathtt{0.428\: \!571\: \!428\: \!571\: \!428\: \!6}}$$