It's very easy to double numbers when these numbers are minuscule to start with.
Reply on news.ycombinator.com