MULT_REDUX
#define MULT_REDUX 0x1p32 /* exponent MANT_DIG / 2 rounded up */
#define MULT_REDUX 0x1p57