theorem Th458: :: NUMBER11:458

digits (1300,10) = <%0,0,3,1%>