It's plausible that Android would have nearly as many users.
Google, for instance, could have all of the current manufacturers agree to OEM their Android devices. Possibly with co-branding.