extended-reals

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