In ,
cavedweller wrote: (Previously quoted material snipped)

I also wonder if the 3 7/8 gallons referred to somewhere above hasn't
got a metric equivalent, such as 4 liters....well, it least in the
fourth decimal.

4 liters is more than a gallon, not less.

- Don Klipstein )