(−1) · · 2 ^{− 127−126} = 2 =≈  · 10

|{x : x ∈ float ∧ 2 x 2}| = 8 388 608
|{x : x ∈ float ∧ 0 ⩽ x < 2⁻¹²⁶}| = 8 388 608
|{x : x ∈ float ∧ −2⁻¹²⁶ < x ⩽ 0}| = 8 388 608
|{x : x ∈ float ∧ 2 ⩽ x < 2}| = |{x : x ∈ float ∧ −2 ⩽ x < −2}| =