theorem Th474: :: NUMBER11:474
digits (1460,10) = <%0,6,4,1%>