Symbol: DFN_NAN