from interval import REAL
from gmpy2 import mpq # rationale Zahlen


def lower_one(n):
    return mpq(1,1)-mpq(1,n)
def upper_one(n):
    return mpq(1,1)+mpq(1,n)

x = REAL(lower_one,upper_one); y = x + x

print ("x: "+x.asString(10))
print ("y: "+y.asString(10))


print ("x: "+x.asString(10000))
print ("y: "+y.asString(10000))