I thought that number was also supposed to mean the number minted. I would like to know where the number even came from.
Dennis