IntervalBottom: "bottom" = 'bottom'

The bottom element (least element) of the positive interval domain representing no possible values, explicitly given as "bottom".