I think the numbers you put refer as Google as company (maybe more Alphabet) and not Google as search engine. I'm curious to know how many people actually works on Google Search Engine.