3.1.1 Types of Numbers
Four underlying types of numbers are built into Mathematica.
Intrinsic types of numbers in Mathematica.
Rational numbers always consist of a ratio of two integers, reduced to lowest terms.
Approximate real numbers are distinguished by the presence of an explicit decimal point.
An approximate real number can have any number of digits.
Complex numbers can have integer or rational components.
In:= 4 + 7/8 I
They can also have approximate real number components.
In:= 4 + 5.6 I
Several versions of the number 123.
You can distinguish different types of numbers in Mathematica by looking at their heads. (Although numbers in Mathematica have heads like other expressions, they do not have explicit elements which you can extract.)
The object 123 is taken to be an exact integer, with head Integer.
The presence of an explicit decimal point makes Mathematica treat 123. as an approximate real number, with head Real.
Tests for different types of numbers.
NumberQ[x] tests for any kind of number.
5. is treated as a Real, so IntegerQ gives False.
If you use complex numbers extensively, there is one subtlety you should be aware of. When you enter a number like 123., Mathematica treats it as an approximate real number, but assumes that its imaginary part is exactly zero. Sometimes you may want to enter approximate complex numbers with imaginary parts that are zero, but only to a certain precision.
When the imaginary part is the exact integer 0, Mathematica simplifies complex numbers to real ones.
In:= Head[ 123 + 0 I ]
Here the imaginary part is only zero to a certain precision, so Mathematica retains the complex number form.
In:= Head[ 123. + 0. I ]
The distinction between complex numbers whose imaginary parts are exactly zero, or are only zero to a certain precision, may seem like a pedantic one. However, when we discuss, for example, the interpretation of powers and roots of complex numbers in Section 3.2.7, the distinction will become significant.
One way to find out the type of a number in Mathematica is just to pick out its head using Head[expr]. For many purposes, however, it is better to use functions like IntegerQ which explicitly test for particular types. Functions like this are set up to return True if their argument is manifestly of the required type, and to return False otherwise. As a result, IntegerQ[x] will give False, unless x has an explicit integer value.