how many pints in a gallon of ice cream