Towards an API for the Real Numbers | Hacker News Reader