[Boost-users] converting to float128 from double