Is that forever, or does the inflation have an end date when a final number of coins will be reached?