Fixes #1192 -- documentation clarification for isNaN