Variable IntervalTopConst

The top element (greatest element) of the positive interval domain representing all possible values, defined as the interval from 0 to infinity.