I just noticed this excellent paper on AIR integers http://www.cert.org/archive/pdf/09tn023.pdf which also summarizes other run-time integer overflow handling methods, including precondition testing as implemented by Paul's handy new macros.
cheers, Pádraig.