I always thought there were a total of 1 billion coins