I would note that the fact that 0.(9) = 1 can be talked about and shown using just the Rational numbers, you don't need to invoke the Reals.