Does anyone have recent figures about the size of the user base, I know how to extrapolate from percentages given the total (although I haven't really found that information either), but I'd much rater getting approximate numerical value as to how many users of each of the big three (or so) platforms there are.