This is the number of pints in a gallon.