NegInfIntervalRange.front

The first time point in the range.

Meta