0.999... = 1