theorem Th731: :: NUMBER11:731
digits (63,10) = <%3,6%>