CheckNaN as part of dlint