MPN2FLOAT
extern FLOAT MPN2FLOAT (mp_srcptr mpn, int exponent, int negative);
return MPN2FLOAT (retval, exponent, negative);