How many coins will be issued in total and are additional issues planned in the future?