Tell me, can someone know how many coins will be issued in total? Or will the coins go on sale as needed?