@peemee Ah interesting:
In the nations of the British Empire, although the full stop could be used in typewritten material and its use was not banned, the interpunct (also known as the decimal point, point, or mid dot) was preferred for the decimal separator in printing technologies that could accommodate it, e.g. 99·95. (https://en.wikipedia.org/wiki/Decimal_separator)
Then in 1968 it was settled for a full stop / decimal point and commas as thousands separators (1,234.56789), rather than spaces as separators and decimal comma (1 234,567 89), along with the metricisation effort.
I’d only run into that as “mid dot” before when typesetting math as representing multiplication. I’m used to just calling that use of the full stop a decimal point. I really like the “interpunct” name though. (Weird that . on iOS doesn’t have interpunct in its long-press symbol list! Closest I can get is a bullet: 1,234•56789.)
/@variablepulserate