SELECT hex(bitRotateLeft(0x8000000000000001, 1));
SELECT hex(bitRotateRight(0x8000000000000001, 1));