constructions of real numbers