I had this idea in the other thread:
My personal favorite would perhaps be to have NaN and one(!) infinity (which covers both positive and negative infinity), where infinity is greater than and smaller than any other value. But that would certainly break everything . (And I'm sure there are other bad implications. It also can't be implemented with
PartialOrd
.)