Infinity package:logfloat
A transfinite value which is greater than all finite values. Adding or
subtracting any finite value is a no-op. As is multiplying by any
non-zero positive value (including infinity), and dividing by
any positive finite value. Also obeys the law negate infinity =
negativeInfinity with all appropriate ramifications.
A transfinite value which is less than all finite values. Obeys all
the same laws as infinity with the appropriate changes for
the sign difference.