Re: [boost] [gsoc18] SafeFloat proposal