theorem Th268: :: NUMBER11:268
digits (18,10) = <%8,1%>