Re: The Great Integer Division Controversy

[Lennart Augustsson]

>   I am willing to change `div`
> to `quo` and  `dvf` to `div` if there is consensus.
I like the new naming better, BUT this is a change that is not
backwards compatible.  Are we worrying about such things yet?
Or is still possible to make them without the wrath of the masses?

        -- Lennart