bool operator <=(Uint64 other) => (value ^ 0x8000000000000000) <= (other.value ^ 0x8000000000000000);