+1197 $${\frac{{\mathtt{15}}{\mathtt{\,\times\,}}{\mathtt{\pi}}}{{\mathtt{2}}}} = {\mathtt{23.561\: \!944\: \!901\: \!923\: \!449\: \!3}}$$
.+1197 $${\frac{{\mathtt{15}}{\mathtt{\,\times\,}}{\mathtt{\pi}}}{{\mathtt{2}}}} = {\mathtt{23.561\: \!944\: \!901\: \!923\: \!449\: \!3}}$$
