Include Uint.ZERO in lower saturation bounds