Hannu Krosing <[EMAIL PROTECTED]> writes:
> Can't we assume that 80/10000 is numeric

I don't think so, unless you want to break a lot of existing
applications that assume integer/integer means integer division.

                        regards, tom lane

Reply via email to