Email Record: Foundations of real numbers /