what is 17 divided by 7?
$${\frac{{\mathtt{17}}}{{\mathtt{7}}}} = {\mathtt{2.428\: \!571\: \!428\: \!571\: \!428\: \!6}}$$