[m-dev.] diff: int.m: fix bug in `div'

[Fergus Henderson]

Thomas Charles CONWAY, you wrote:
> > +		{ mod_test(3, 8, 0, 3) },		% 3 / 8 = 0 + 3/8
> > +		{ mod_test(5, 8, 0, 5) },		% 5 / 8 = 0 + 5/8
> >  		{ mod_test(7, 2, 3, 1) },		% 7 / 2 = 3 + 1/2
> >  		{ mod_test(100, 13, 7, 9) }		% 100 / 13 = 7 + 9/13
> >  	->
> 
> None of these contain -ve numbers. Surely if rounding is an
> issue, there should be some test cases to check this.

Inside mod_test/4, it tries negative and positive combinations
of its arguments -- all four quadrants.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.