IEEE 754 の 2 進交換形式

正の整数 $w$（指数部の幅）と $t$（仮数部の幅）を固定し、$\mathrm{bias}=2^{w-1}-1$ とする。$1+w+t$ ビットの列を、符号ビット $s\in\{0,1\}$、指数部 $E\in\{0,1,\ldots,2^w-1\}$（$w$ ビットの符号なし整数）、仮数部 $f\in\{0,1,\ldots,2^t-1\}$（$t$ ビットの符号なし整数）に分け、次の値を表すものとする。

1. $1\le E\le2^w-2$ のとき 正規化数 $(-1)^s\,2^{E-\mathrm{bias}}\,(1+f\,2^{-t})$。
2. $E=0$, $f\ne0$ のとき 非正規化数 $(-1)^s\,2^{1-\mathrm{bias}}\,(f\,2^{-t})$。$E=0$, $f=0$ のとき $(-1)^s\,0$（$+0$ と $-0$）。
3. $E=2^w-1$, $f=0$ のとき $(-1)^s\infty$。$E=2^w-1$, $f\ne0$ のとき NaN（数でない値）。

binary32 は $(w,t)=(8,23)$、binary64 は $(w,t)=(11,52)$ である。