theorem Th925: :: NUMBER11:925
digits (69,10) = <%9,6%>