> If not, how would you explain that they had only 10,000 employees and not 20,000?

Simple, 1000+ salaries > 10000 x100$/m Claude seats.