DBL_FRACBITS

220

#define DBL_SHIFT (DBL_FRACBITS - 32 - FP_LG)

223

frac = i & mask(DBL_FRACBITS - 32);

396

#define DBL_EXP(e) ((e) << (DBL_FRACBITS & 31))

400

(void) __fpu_shr(fp, FP_NMANT - 1 - DBL_FRACBITS);

414

(void) __fpu_shr(fp, FP_NMANT - FP_NG - DBL_FRACBITS - exp);

426

(void) __fpu_shr(fp, FP_NMANT - FP_NG - 1 - DBL_FRACBITS);