I remember reading a Google earnings report that said they had 90k employees in total. Assuming Amazon/Microsoft to be larger and assuming Netflix to be smaller, we can take Google to be the average. Of that, even if 50% was engineering, we'd only have 250k FAANG engineers worldwide. In the US, I'd guesstimate ~100k.