In a recent year, 21% of all college students were enrolled part-time. If 7.6 million college students were enrolled part-time that year, what was the total number of college students?