Comment by denotational

Seconded, the “least upper bound” method for constructing the reals that I know about is… …Dedekind cuts.