Symbol: DBL_FX_MAX_EXP