@simon_brooke @emilygorcenski
The problem is larger .. you two are talking past each other with GALLONS.
“there are actually different types of #gallons. There are liquid gallons, dry gallons, and imperial gallons. Liquid and dry gallons are used in the US and some nations in Latin America, while the #imperial gallon is used in the UK and some commonwealth nations. There are 4.54 liters in one imperial gallon, 3.78 liters in one liquid gallon, and 4.4 liters in one dry gallon.”
https://www.worldatlas.com/articles/how-many-liters-are-in-a-gallon.html