I think the suggestion Joe has made about division is good, but I also think it is overkill! Let's not add even more things to the Prelude that are not going to be used. My opinions on this matter is: - have something which is efficiently implementable (i.e. close to what the hardware provides) as the primitive, which is what `div` is. - just add an extra function for what Kent wants, e.g. infix 7 `quo` x `quo` y = if x < 0 then x `div` y - 1 elsse x `div` y or whatever is approproate. -- Lennart