On computers that comply with the IEEE 754-1985 standard for binary
representation of floating-point numbers, floating-point divisions of
positive numbers by zero yield Inf (positive infinity). On such
computers, this value is returned by #INFTY. On computers that
do not allow floating-point division by zero, #INFTY returns the
greatest representable FLOAT number, #MAX_FLOAT.
See also: #MAX_FLOAT.