theorem Th634: :: NUMBER11:634
digits (3060,10) = <%0,6,0,3%>