VectorAdd and saturation checks.