Making a one-cent coin cost almost four cents — Anecdota