[boost] SafeInt library for Boost