2.5 billion coins