FYI, in case there's any doubt, 0.999... = 1.