In 2017, the number of circulating coins should have been much smaller