theorem Th466: :: NUMBER11:466

digits (1380,10) = <%0,8,3,1%>