Out of a total of roughly 140,000 employees (according to Wikipedia as of 2021).

So a tad less than 10% of their workforce.

Just thought I'd add that for perspective.