theorem Th764: :: NUMBER11:764
digits (506,10) = <%6,0,5%>