Is this the total value of all coins?