It might sound a bit nerdy, but I was keen to add a note of realism to the story by calculating some projected population figures. I did this by taking into account the technology referred to in the back story, and then factoring in birth and death rates, plus potential immigration levels given the political changes.
I estimated a population of around 12,000 by 2116 given the various factors, and produced a chart:

Believe it or not, I now have a spreadsheet with population figures for all the planets in the solar system up to 2132... More than I need for this story, but might be helpful for the next one...