P4052R0

Renaming saturation arithmetic functions

Renames the saturation arithmetic functions (NB FR-026-265).