> (this is why dimes say 'One Dime' on them instead of 'Ten Cents'.

No, it's purely stylistic. We tend to spell out denominations on coinage and "dime" is just the American spelling of disme, meaning a tenth.

The capped bust dime from 1809-1839 had "10 C." rather than "One Dime". Similarly, the capped bust quarter said "25 C." instead of the modern "Quarter Dollar", the half dollar said "50 C." rather than the later "Half Dollar" and the half dime said "5 C." rather than the later "Half Dime."

Most of the 18th century and early 19th century coinage, besides half pennies and pennies didn't have their denomination written on them at all.

There is no such decipence division in the UK, but fuel is still sold with a vestigial .9 pence on the end. In fact, since the denomination is per litre, not gallon, the .9 is about 4 times more significant.

When the final calculation of XX.YYY litres * AAA.9 pence/litre is done, it's then rounded off to 1 pence.

Currency conversions are also frequently done with readers that aren't a round multiple of pence, even in official government tables: https://www.trade-tariff.service.gov.uk/exchange_rates/view/...

I'd like to clarify that point a bit.

They're allowed to get away with it because of a dysfunctional lobbying driven government. Mils don't exist in the common knowledge and if any reasonable person looked at this they'd call it out. It is useful in accounting but a Mill has never been minted and the last half penny was minted in 1857. It has never been possible using issued physical legal tender in the US to pay a debt of $3.129

The Mill doesn't exist because of some archaic need - it's pure dysfunction and the utilization of it in gas prices is a practice that should and very easily could be made illegal.

So do whatever they do with mils but for the penny too. They don’t nor have they ever minted a mil coin, so the procedure for this is already well established if this is correct.

Has a Mil ever been minted?