@hackage extended-reals0.2.5.0

Extension of real numbers with positive/negative infinities

Extension of real numbers with positive/negative infinities (±∞). It is useful for describing various limiting behaviors in mathematics.