RE: origin of real numbers