Method as_decimal

lean_py/z3/core.py:597–600

(self, prec: int = 10)

        return Fraction(self._num, self._den)

    def as_decimal(self, prec: int = 10) -> str:
        ctx = getcontext()
        ctx.prec = prec
        return str(Decimal(self._num) / Decimal(self._den))

    def as_string(self) -> str:
        return f"{self._num}/{self._den}"