Division of binary numbers.