How many different coins should you own?