Include Uint.ZERO in lower saturation bounds

No match.