util/multiply_saturation library