[simiones]

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.

[peterhalburt33]

Completely correct. Too lazy to amend my answer, but even rational numbers don’t have a unique decimal representation.