I think by the time the population is that high, we will be a multi planetary species. A Mars colony would probably create some other token as they are out of the hash horizon of bitcoin. There’s a good WBD episode about this