[Boost-users] Cpp_int and cpp_dec_float conversion