It is wrong that signed types in C implement modular arithmetic. They have undefined behavior on overflow.