Macro IlcInfinity

This global floating-point constant is equal to the IEEE 754 special value “plus infinity.” Depending on the compiler, this constant is displayed variously as Infinity, ++, inf, etc.

IEEE 754 is a standard proposed by the Institute of Electronic and Electrical Engineers for computing floating-point arithmetic. The implementation of floating-point numbers in Solver conforms to this standard. See the Solver User's Manual for a discussion of floating-point arithmetic.