Saturate.onUpperBound

T onUpperBound(Rhs, T)(Rhs, T bound)

ditto