Symbol: EXP_NaN