ParentFull threadBigJeffeRonaldo·https://www.dpmms.cam.ac.uk/~wtg10/decimals.htmlYou can construct a complete ordered field from infinite decimalsView on HN