So I was looking at GHC.Real and noticed that
the definition of reduce
uses
quot
for integer division where I would have expected
div
. AFAICT, the only difference is that
quot
truncates while
div
rounds down; but in this case, a number is being divided by one of its factors, so the rounding shouldn't matter. Is there any other reason to pick
quot
rather than
div
, or was it arbitrary?