Method as_string

lean_py/z3/core.py:602–603

(self)

        return str(Decimal(self._num) / Decimal(self._den))

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

    def as_long(self) -> int:
        return self._num // self._den