theorem Th446: :: NUMBER11:446
digits (1180,10) = <%0,8,1,1%>