News for hackers. Stuff that matters.

A comment on 0.999...= 1. Parent comment

Re:0.999...= 1 by moonchild on Tuesday April 28, 2020 @04:15AM (#23004800)
It's much more intuitive that 100.9999...=9.9999... than that 20.9999...=1.9999...
[ Parent | on HN ]
Re:0.999...= 1 by ColinWright on Tuesday April 28, 2020 @10:56AM (#23007592)
You've met the formatting limitations. You mean:

"It's much more intuitive that 10 * 0.9999... = 9.9999... than that 2 * 0.9999...= 1.9999..."

[ Parent | on HN ]