[P4052R0](https://wiki.isocpp.org/uploads/2026-03_Croydon-LWGStrawPollsStaging_-_P4052R0.html) (Renaming saturation arithmetic functions)