We can make `inf - inf' be any real number we like, say,
a, just by claiming that we added a to the first
infinity but not to the second. This is just as true for complex
values of a, so
nan can stand for a complex number.
uinf can stand for an infinity that points
in any direction in the complex plane, such as `(0, 1) inf').
In fact, we can multiply the first
inf by two. Surely
`2 inf - inf = inf', but also `2 inf - inf = inf - inf = nan'.
nan can even stand for infinity. Obviously it's just
as easy to make it stand for minus infinity as for plus infinity.
The moral of this story is that "infinity" is a slippery fish
indeed, and Calc tries to handle it by having a very simple model
for infinities (only the direction counts, not the "size"); but
Calc is careful to write
nan any time this simple model is
unable to tell what the true answer is.