Foundations of real numbers