Constructing the reals from the integers
Solution 1:
This construction of the real numbers is attributed to Acampo, but there are predecessors with similar ideas, e.g. Schönhage. Here is a pdf of Acampo's paper:
https://people.math.ethz.ch/~salamon/PREPRINTS/acampo-real.pdf