extended-reals

July 26, 2025 · View on GitHub

Build Status (AppVeyor) Build Status (GitHub Actions) Hackage Coverage Status License

Extension of real numbers with positive/negative infinities (±∞)