Thanks for the pointer! I enjoy discussions about .999... because it really makes us question what we mean about infinity (and assumptions about the reals).