theorem Th380: :: NUMBER11:380

digits (500,10) = <%0,0,5%>