float_::type float_::operator()(__gmp_expr<T, U> const &a) { return mpz_get_d(a.get_mpz_t()); }
double float_(__gmp_expr<T,U> const& a) { return mpz_get_d(a.get_mpz_t()); }