Yep, exactly :). (Should have made it more clear that I was referring to other systems like surreals and hyperreals, but wasn't clear whether the parent was joking or not).
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).
