How many monero coins are out there here and how do you find out?!