x and y have their first bits equal to 1