[P4052R0](https://wg21.link/p4052r0) Renaming saturation arithmetic functions (Jan Schultke, Corentin Jabot)
P4052R0 Renaming saturation arithmetic functions (Jan Schultke, Corentin Jabot)