How real are real numbers? (2004) — Blankdot