Yes. A more useful number would be how many employees are working on macOS specifically. Hard to find a definitive number for that.