theorem Th628: :: NUMBER11:628

digits (3000,10) = <%0,0,0,3%>