construction of real numbers