Footnote 1:

For definiteness, for numbers other than 0, choose the decimal expansion that ends in 999... whenever possible.

Press the back button on your browser to go back to the post