My original concern was raw untyped pointer comparison in a 32-bit code/memory model/environment.
I needed to know, for certain, that doing untyped pointer comparison/arithmetic would _always_ generate unsigned comparison code properly.
If untyped pointers are baseline Ints to the compiler, it would seem I get signed comparisons as well. If untyped pointers are unsigned Ints to the compiler, it would seem I get signed comparisons (as it should be). In a less-than-32-bit-environments, a seg:ofs construct would obviously have to be normalized before pointer comparison.
If they are treated as signed Ints, I have no opinion about it (though I think all pointers should always be "unsigned"), I just need to know, so I can cast them before doing arithmetic and/or comparisons.