Credible reporting puts the number somewhere between 30-40k among the intelligence community - comments and discussions have happened in public, and various officials around the world have repeated that range several times over the last week or so.

The information and sources are there for you to search, and it's up to you to determine who you find credible and why.