__mpn_extract_double
extern mp_size_t __mpn_extract_double (mp_ptr res_ptr, mp_size_t size,
p.fracsize = __mpn_extract_double (fp_input,