theorem Th229: :: NUMBER11:229

digits (85,10) = <%5,8%>