I don't follow the exact numbers, but my impression was that there were a hell of a lot of Nokia phones running Nokia OSes sold in world.
Do you have a source handy? It would be interesting to see how Nokia's market penetration (however declining it may be) compared to Microsoft's.