[boost] SafeInt code proposal