Those are the Google numbers, that included any device that was turned on during the month and managed to connect to the connect to the Android servers. A fairer comparison here would be Mixpanel's Android number, that are obtained using the same methodology was the iOS number. (see my previous post)
You're being defensive. Someone asked: "Wonder if Android has 10% on the newest OS."
I answered. No, it does not. Not even close. Not according to Mixpanel either.