IntervalTop: IntervalValue = ...

The Top element of the interval domain as interval [-∞, +∞]