Type-bounded numbers (first post in a series of six) | Hacker News Reader