negative infinity

A value that is less than or equal to -1e10 (-10 billion) is interpreted by the solver as negative infinity. For example, when setting bounds for a property or constraint, if the lower bound is less than or equal to -10 billion, the Solver considers the lower bound value as infinity. Effectively, there is no actual lower bound.