Correct definition of NAN