3/7 into decimal

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

.