Just don't forget these words by Hal and you all will be good.
"With 20 million coins, that gives each coin a value of about $10 million."
Hal was a smart guy, but he arrived at that number through faulty economic reasoning.
Then I would rather believe his faulty economic reasoning.