By my rekoning then, there are 17 countries that have larger GDP than the combined tech companies.

Yea, by the time I'm reading your comment, it won't let me change. More used to corporate numbers where everything is in 1000's haha.