+1197 $${\frac{{\mathtt{4}}}{\left({\frac{{\mathtt{30.7}}}{{\mathtt{100}}}}\right)}} = {\frac{{\mathtt{4\,000}}}{{\mathtt{307}}}} = {\mathtt{13.029\: \!315\: \!960\: \!912\: \!052\: \!1}}$$
.+1197 $${\frac{{\mathtt{4}}}{\left({\frac{{\mathtt{30.7}}}{{\mathtt{100}}}}\right)}} = {\frac{{\mathtt{4\,000}}}{{\mathtt{307}}}} = {\mathtt{13.029\: \!315\: \!960\: \!912\: \!052\: \!1}}$$
