How many DAG coins are there?