Input (grade 11): However, when including migrants, Guangdong has a higher population than Henan.
Output (grade 8): However, when including migrants, Guangdong has more people than Henan.