Consider a "toy system" of floating-point arithmetic where each floating-point numberis of the form
x = (-1)^s × (1 + m) × 2^e-σ:

The mantissa is a binary number such that
m = 0:m₁m₂m₃ (base 2) belongs to [0; 1)

and the exponent e is a binary integer such that
1 ≤ e = e₃e₂e₁e₀ (base 2) ≤ 14:

Each m