NumericAnnex v0.1.13 Release Notes

  • 🛠 Fixed implementation of Rational.isProper.