PosIntervalTop: PosIntervalValue = ...

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