As of 13th July, the OS was only 716,333,822 so I doubt there will be as many as you say... My guess would be less than 1 billion...