[bug-gawk] GAWK 4.1: Division with Arbitrary Precision Integers

[Katherine Wasserman]

There is currently no way to preform division of arbitrary precision integers 
in gawk, the system will always convert numbers to floating point when using 
the '/' operator.  

Per Aharon , there appear to be at least two ways around this:

1) change the semantics of the '/' operator.
2) introduce a new function for integer division.

I think that the later is both cleaner and useful as a function even without 
the MPFR/MP extensions loaded.

Thanks,
-Katie Wasserman