__mpn_construct_double
__mpn_construct_double (mp_srcptr frac_ptr, int expt, int negative)
void __mpn_construct_double() {}