浮動小數點數
浮動小数点数 - Wikipedia
IEEE 754 - Wikipedia
$ x\ne x\iff {\rm isNaN}(x).