How much does it cost to mint a U.S. quarter? | Dark Hacker News