Re: [boost] [gsoc18] SafeFloat or Real