(vstart <= x < -0.0 (subnormal, sig=00…) RDN, RTZ greatest finite value NX, OF 2-(B+1) ≤ x < 2B (normal) 2-B ≤ x < 2-B (subnormal, sig=1…) any 2B > y ≥ 2B-1 (normal) 2-B+1