theorem Th945: :: NUMBER11:945
digits (299,10) = <%9,9,2%>