How much information can there be in a real number? | Hacker News Reader