We must state a reasonable assumption before we continue: we assume that given two real numbers formula_5 expressed as binary, we can compute in formula_3 time the index of the first bit in which they differ.