Square roots of binary numbers