浮動小數點數
浮動小数点数 - Wikipedia
IEEE 754 - Wikipedia
"IEEE Standard for Floating-Point Arithmetic" 2008
本規格は、コンピュータプログラミング環境におけるバイナリおよび十進浮動小數點演算の交換形式および演算形式、および演算方法を規定するものである。本規格では、例外條件とそのデフォルト處理方法についても規定する。本規格に準據した浮動小數點システムの實裝は、ソフトウェアのみで實現することも、ハードウェアのみで實現することも、あるいはソフトウェアとハードウェアを組み合はせた形で實現することも可能である。本規格の規範的部分で規定されてゐる演算處理においては、數値結果および例外條件は、すべてユーザーの制禦下にある入力データ値、演算順序、および出力形式の値によって一意に決定される。
NaN (非數。not a number)
NaN - Wikipedia
quiet NaN (qNaN)
NaN - Wikipedia#quiet NaN
signaling NaN (sNaN)
NaN - Wikipedia#signaling NaN
$ x\ne x\iff {\rm isNaN}(x)