P0543R3

Saturation arithmetic