theorem Th272: :: NUMBER11:272
digits (72,10) = <%2,7%>