Very interesting. You’ll probably also want to read John Regehr, “Overflows in SafeInt”, which looks to be now a very good helper library, and Ian Lance Taylor, “Signed Overflow”.