I'm pretty sure those download numbers are VC only and don't include the other channels. As pointed out in the IGN article's comment thread, Nintendo has given out a lot of free points, like the large numbers given to GameStop managers (the poster says 7500, but I recall my store's manager saying he got 5000), that could explain the low average price-per-download.