theorem Th1083: :: NUMBER11:1083

digits (250,10) = <%0,5,2%>