90 {
91 double d1 = mpfr_get_d(&a.re.left, MPFR_RNDN);
92 double d2 = mpfr_get_d(&(a.re.right), MPFR_RNDN);
93 double d3 = mpfr_get_d(&(a.im.left), MPFR_RNDN);
94 double d4 = mpfr_get_d(&(a.im.right), MPFR_RNDN);
95 double d = 12347. * d1 + 865800. * d2 + 72158. * d3 + 86429. * d4;
96 return static_cast<unsigned int>(d);
97 }