How many types of ice cream are there?