C23 will get support for checked integer operations that report overflow.