If x 2 64