How would you tokenize digits of pi? | Hacker News Reader