theorem Th927: :: NUMBER11:927
digits (92,10) = <%2,9%>