Hacker News new | ask | show | jobs
by BigJeffeRonaldo 3527 days ago
https://www.dpmms.cam.ac.uk/~wtg10/decimals.html

You can construct a complete ordered field from infinite decimals