Overflow / wrap-around

Watch fixed-width add/sub wrap mod 2^w — unsigned modular wrap vs signed overflow hazards.