Return rational approximation to given precision.
(self, precision: int = 10)
| 612 | __slots__ = () |
| 613 | |
| 614 | def approx(self, precision: int = 10) -> RatNumRef: |
| 615 | """Return rational approximation to given precision.""" |
| 616 | # In lean.py, algebraic numbers are not natively supported; |
| 617 | # return a placeholder rational |
| 618 | return RatNumRef(0, 1) |
| 619 | |
| 620 | |
| 621 | class BitVecRef(ExprRef): |