> Of course it's hard because in day to day life, even for the vast majority of STEM practitioners, the nuance of the proof that 0.9999... is 1 is not of much u

> Of course it's hard because in day to day life, even for the vast majority of STEM practitioners, the nuance of the proof that 0.9999... is 1 is not of much utility. Oh absolutely. I'm not expecting STE(no M this time!) practitioners to necessarily be aware of why 0.999…=1 in their daily lives, but I do expect them to have encountered enough situations in their field of expertise where scraping the surface using shallow intuition and gut feeling lead them wildly astray. I'm therefore surprised that they're willing to deny this basic fact to the face of mathematicians. The ones I've interacted with also don't happen to be the types that'll start arguing Anatomy 101 facts with a heart surgeon at a bar, but somehow arguing over basic calculus with mathematicians is fine.