I thought the difference between the US and Imperial gallon had nothing to do with the number of pints per gallon but to do with the size of the pint, I think a 16 and 20 fl oz pint respectively.

Ergo, a US gallon has a discrepancy in the number of pints in it... 2 in fact....

LTS