Re: The Great Integer Division Controversy

[Mikael Rittri]

I agree with Kent here.  I don't think backwards compatibility on `div` is
important (yet).
    One extremely minor point:  although the Definition of Standard ML only
provides `div` and `mod` (for flooring division), Standard ML of New Jersey
also provides `quot` and `rem` (for truncating).  Therefore, if no other
language uses the name `quo`, I think `quot` would be better.  (Why introduce
new abbreviations?)

-- Mikael R.