My first point was that even if the Mint
actually stamped out some $0.075 coins, there's no way in hell they would have ever survived in general circulation. They would have been useless, except to buy vending machine Coke bottles. Everyone making change would still be using nickels and pennies, and not pricing things with half cents at all, because there was no half cent coin. So no one would actually have one of those coins in any of their pockets, at any time.
I can't even imagine the thought process that might have led to believing that would ever work, at any step in the process.
I am merely describing one thing of the many, many possible things that would have been less colossally stupid, even though it still may be inferior to just dropping the outdated requirement that one coke equals one coin, and it can't be a dime (because that's too much) or a penny (because that's not enough).
If you knew you liked Cokes, you might buy tokens in advance, instead of on impulse, and pass them around as near-cash equivalents. Though I must admit that if I only bought one thing with real cash from a vending machine, it would still be a more frequent occurrence than buying virtual nothings in a freemium game, so it was just a bit insincere. If I had to use tokens, I'd probably never get any Cokes.