x = (−1)^s × 1.f × 2^e;   ulp(x) = 2^e−p   (normal, 2^e ≤ |x| < 2^e+1);   ε₃₂ = 2⁻²³, ε₆₄ = 2⁻⁵²