EXT_FRACBITS
#define EXT_SHIFT (-(EXT_FRACBITS - 3 * 32 - FP_LG)) /* left shift! */
frac = i & mask(EXT_FRACBITS - 3 * 32);
#define EXT_EXP(e) ((e) << (EXT_FRACBITS & 31))
(void) __fpu_shr(fp, FP_NMANT - FP_NG - EXT_FRACBITS - exp);