boost/libs/safe_numerics/doc/safe_numerics.pdf