x < 2-B+1 (subnormal, sig=1…) any -2B-1 ≥ y > -2-B+1 (subnormal, sig=1…) any 2B > y ≥ 2-B+1 (normal) 2B-1 ≤ x < -0.0 (subnormal, sig=00…) RUP, RNE, RMM -∞ NX, OF -0.0 any -∞ DZ +0.0 +∞ DZ +0.0 +∞ DZ +0.0 < x ≤ -2B (normal) any -2-(B+1) ≥ y > -2B (normal) -2-B < x vmslt{u}.vx vd, va, x, v0.t, vt expansion: vmslt{u}.vx vt, va, x; vmandn.mm vt,
progestin