Yes, but your argument goes circular with this. And someone could argue that

  .999.../2 = .499...  <=>  .999... = 2*.499... = .499...+.499...

which "surely must" have 8 as the rightmost digit. Moving it further away from 1.