what is 3/7 in decimal form?
$${\frac{{\mathtt{3}}}{{\mathtt{7}}}} = {\mathtt{0.428\: \!571\: \!428\: \!571\: \!428\: \!6}}$$