The inclusive final element of a nonempty progression, aligned with first and step.
For an empty progression this is a bound, not an element that can be visited.