Projectively extended real line | Hacker News Reader