A range of values of type UInt128.
The first element in the progression.
The last element in the progression.
The step of the progression.
Checks if the range is empty.
Returns a progression that goes over the same range with the given step.