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