It is only solid as long as you don't define irrational numbers literally as everything that is not rational.
But I must admit I haven’t read the whole post.
If the students haven't yet encountered complex numbers, infinitesimals, infinities etc. then it's perfectly reasonable to say that all numbers are assumed to be real (as follows strictly from the definition in the book).
But by definition there are no real numbers that are neither rational or irrational.