theorem Th754: :: NUMBER11:754

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