constructions of the real numbers