Comment by nh23423fefe

because if put the divisor to the left, you can easily zero extend, and get the decimal place of the quotient for free.

you say "natural order" but its obviously arbitrary, not natural. the divides predicate has the opposite order for example