theorem Th636: :: NUMBER11:636

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