Use the proper lower bound when doing saturation arithmetic.