theorem Th30: :: NUMBER11:30

digits (80,10) = <%0,8%>