That's about 5% of what Google has made in profit from Android since ~2008.