JeanTate asked some excellent questions. I'm sure he knows the answers to his questions, but I agree the level of discourse in this thread might be improved by mentioning a few mathematical facts.
In mathematics, a
field is a set of things (which we call numbers) together with two binary operations (which we call addition and
subtraction multiplication) that obey algebraic laws. Those algebraic laws say the numbers form a commutative group under addition, the numbers excluding the additive identity (which we call zero) form a commutative group under multiplication, and the addition and multiplication operations are connected by a distribution law.
Example: The non-negative integers less than 5, {0, 1, 2, 3, 4}, form a field with respect to the usual definitions of addition and multiplication modulo 5.
Non-example: The non-negative integers less than 4, {0, 1, 2, 3}, do not form a field with respect to the usual definitions of addition and multiplication modulo 4 because 2 times 2 mod 4 is zero, which is not a non-zero element of the set.
There are many such systems.
RealityCheck cited one example: the
real projective line, which is not a field but is a one-dimensional
manifold, which basically means pieces of it look like pieces of the real number line so long as you don't look at the big picture.
The domain of the division operator is the set of ordered pairs of numbers on which the division operator is defined. For a field, the domain of the division operator consists of all ordered pairs of the field's numbers whose second element is nonzero.
For a field, the division operator is a derived operation, defined using the field's addition and multiplication operations. The addition operation has a unique identity, which we call zero. The division operation is then defined as follows: For any pair of numbers <x,y> for which y is nonzero, x/y is defined as the unique number z such that x equals y multiplied by z.
If that were intuitively obvious to everyone posting in this thread, many of the things that have been said would not have been said. Some, for example, have said infinity is defined to be 1/0, but the ordered pair <1,0> is excluded from the domain of the division operation. The reason for that exclusion is that there is no unique z such that 1 equals 0 multiplied by z.
I suppose some would claim 1 equals 0 multiplied by infinity, but that claim founders when, applying the algebraic laws that hold for all fields, you use the claimed 1=0*∞ to prove 2=1 as follows:
2 = 2*1 = 2*(0*∞)=(2*0)*∞=0*∞ = 1
That's why infinity cannot be regarded as a real number without breaking the fundamental algebraic laws that hold for real numbers. That's why infinity cannot be regarded as a complex number.