Hannu Krosing <hannu(at)tm(dot)ee> writes:> Can't we assume that 80/10000 is numeric
I don't think so, unless you want to break a lot of existingapplications that assume integer/integer means integer division.
regards, tom lane