0x800000000000000f