Re: [math-fun] when and why was it agreed that > 0.999...=1?