theorem Th442: :: NUMBER11:442

digits (1140,10) = <%0,4,1,1%>