Eudoxus Numbers
Of all the formal constructions of the set of the real numbers, Eudoxus reals are to me the most elegant, even if completely impractical. The idea, due to Schnauel, is that any line in the plane, be its slope rational or irrational, can be described using only points with integer coordinates: taking the floor (or ceil or round or worse, doesn’t matter) of the y-values associated with integer x-values does characterize uniquely, asymptotically, any line....