> revenue totaling over 9.5 million Bitcoins
According to this that's close to the current total supply of all bitcoins:
http://en.wikipedia.org/wiki/File:Total_bitcoins_over_time.p...
The graph shows the supply in 2013 at around 9.5 million, same number as what the article claims.