Email Record: The structure of the real number system /