Nice to know I was missed K ;-) Thanks for the updates. Sorry to see that Chris finally left. And I hope Lethe hasn't. Otherwise it sounds like some good things (as usual) are going on. I noticed though you left out that 0.999… is now an FA. Is that contributing to your disgruntlement? Is there anything I can do to make you more gruntled? I won't stoop to asking interesting questions on the reference desk though. — Regards  ☎