SMS versenden: The structure of the real number system /