theorem Th476: :: NUMBER11:476

digits (1480,10) = <%0,8,4,1%>