I mean, obviously it's not a single developer it's a large company, so I'm not sure what your math is attempting to prove there.
I can spend like $8000 a month in tokens on my $200 Claude subscription without even really working that hard, so you get a few thousand employees token maxxing without a budget..