well, it's in your pocket, so clearly these specific coins have been issued at some point, minted or not