0.999....=1

[Solid-Stark]

We function in the reals.
0.999 is smaller than some epsilon, and 1 is in (1-epsilon, 1+epsilon) where epsilon gives us the "neighborhood" of all values close to 1. You initialized this in your first two lines where 10x=9.999.