For comparison: Marine Corps presently numbers about 200,000.
FedGov has non-military officers equivalent to 60% of the Marines in service.
I would rather face 1000 federal agents than a single Marine grunt any day.
60% in numbers, about 5% in capability.