NaNに関しては、NaNになるXとYがあるとき、X == Yではないことはけっこうあるんじゃないか、ということです。