News for hackers. Stuff that matters.
Re:Now I’m calculating with constructive reals by jasomill on Wednesday April 27, 2022 @01:57AM (#31176805)
This holds for bases other than 10 as well. In base 3, 1/3 has two representations 0.1 and 0.0222...

There are no comments on this comment yet.