theorem Th464: :: NUMBER11:464
digits (1360,10) = <%0,6,3,1%>