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