0x8000000000000001