浮動小數點數
浮動小数点数 - Wikipedia
IEEE 754 - Wikipedia
"IEEE Standard for Floating-Point Arithmetic" 2008
$ x\ne x\iff {\rm isNaN}(x)