Merge "Vectorization of saturation arithmetic."