Irrational numbers must be real (this agrees with the Wikipedia definition)