A gallon equals how many pints? | Hacker News Reader