[dmitrygr]

they will do it for unsigned. for signed they will do a bit more to do the same rounding as C promises

[grumbelbart2]

Here is how that looks like:

https://godbolt.org/z/rooee4esd

[account42]

It's unfortunate that C tied overflow behavior to the signedness of integer types.