Huh, those numbers are lower than I expected. Perhaps CNBC counted grad students as well, which is half the CMU population I think.