[boost] [gsoc18] SafeFloat proposal