|     I suppose the other implication that is on the mind of many people but

|     not being discussed is
|
|        p != q => intptr_t(p) != intptr_t(q)
|
|
| I'm not concerned about that, as p -> intptr_t(p) -> p has to result in a
| matching pointer. I don't see how that is workable if the implication above
| fails.

Hmm, remember I am very slow.  Please explain this for me in further
details; I -think- I guess what you are saying but I would rather
make sure you spell out for me how this is working on today's machines
for which we need to make operator< a total ordering, and how they match
(or differ from existing implementations.)