theorem Th388: :: NUMBER11:388

digits (580,10) = <%0,8,5%>