About a previous incorrect claim that MinusInfinity was itself real, Bobacus asked:
In what sense is it a real number? All my real numbers are > x for some real x, so MinusInfinity as defined above is not real. Is there a DeepAndMeaningfulReason? from SetTheory? or limit theory? --Bobacus
Minus infinity is, indeed, not a number in R, though it is a number in C which has been added in order to make C work. And it's put in a place where it would be in R, if R were just a little big bigger. Its reality is fluffy. --Vitenka
For people with some concepts of infinity, the idea of MinusInfinity is very counterintuitive. AlexChurchill has never found it so. He can, however, understand how people can find MinusZero hard to understand.