[eigenvector]

800 full time devs? No, maybe 800 full time employees (I would say less when you account for much higher salaries at the top as well as costs like benefits, pension contributions, etc.). In a software development organization of that size how many do you think are actually writing code? Maybe half?

Engineering management, sysadmins, quality assurance, release management, support staff at each location, etc. all go into that $100m figure.