PosIntervalTop: readonly [0, typeof Infinity]

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