@benaar @siracusa I was a senior in high school at first “real” part-time job at a full-service gas station when prices went up over 99 cents a gallon.(1980-1981 timeframe). We set the pump price to the price per 1/2 gallon, and then had to double the amount to charge the customers. Worst part was — at home I had a digital clock, and I’d look at the display, (say, 9:15 am) and immediately double it to think it was 18:30 … ;)