How real are real numbers? (2004)