how many pints in a gallon ice cream