also allow comparing pointers with integers so big that they cannot be equal
also allow comparing pointers with integers so big that they cannot be equal

rust-lang/miri,tsion/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri