Wouldn't the name imply that the procedure accepts arbitrary integers, rather than just exact ones? (I guess the same ambiguity existed for `exact-sqrt', but seemed less troublesome there.) -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla