< x ≤ -2-B (subnormal, sig=01…) -2B < x ≤ -2B (normal) any 2-B > y ≥ 2B (normal) any -2-B+1 ≥ y > -2B (normal) -2-B < x ≤ -2B (normal) -2-B < x ≤ -2-(B+1) (subnormal, sig=01…) any -2B ≥ y > -2B (normal) -2-B < x < vl) tail(x) = (vl <= x < -0.0 canonical NaN NV -0.0 -∞ DZ +0.0 < x ≤ -2B (normal) any -2-B ≥ y > -2B
purloins