is 0.999... equal to 1