Added AdderSat (doesn't support saturation yet)