I thought about this  in the morning with fresh mind, and maybe because  euro and uk is on the 24 hr clock they go in thousandths
If the zero is gone at end it would be the same as  North American settings.
10/1250 = 1/125

OK dumb thread now...lol

"The happiness of a man in this life does not consist in the absence but in the mastery of his passions."