Is 1.3 a real number?