import sage.rings.integer12class Nonexact:3def __init__(self, prec=20):4self.__default_prec = sage.rings.integer.Integer(prec)56def default_prec(self):7r"""8Return the default precision for self. Use9\code{set_default_prec} to set the default precision.10"""11try:12return self.__default_prec13except AttributeError:14self.default_prec = 2015return self.__default_prec16return self.__default_prec1718def set_default_prec(self, prec):19self.__default_prec = sage.rings.integer.Integer(prec)2021222324