theorem Th488: :: NUMBER11:488
digits (1600,10) = <%0,0,6,1%>