Chromium has implmenented a safe numerics library for overflow detection - see:

https://code.google.com/p/chromium/codesearch#chromium/src/b...