theorem Th923: :: NUMBER11:923

digits (46,10) = <%6,4%>