Sounds incredibly stupid and they didn't even try to come up with a proper number based on anything, they just went with a nice round number just above their current population number (~9 Million).