Constructions of the real numbers