[gpderetta]

Note that signed overflow is still UB in c++ even with 2-complement being guaranteed for signed types.