Constructions of real numbers