Indeed. I was just looking for some figures but I'm not sure I trust any of the pages I've found. I don't think any of the gen 7 consoles have broken 9 though, even with their much longer lifespan. I'm pretty sure the DS was sitting at around 6 - 6.5.
I wish I could give you concrete figures, but I can't find any. 10 is very high though, I know that much!