SMS: The real numbers