Currently, "isum" sums the digits of positive integers once, equivalent to isum 0 = 0 isum x = ones x + isum ( x / 10 ) -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.science.ru.nl/pipermail/clean-list/attachments/20071211/a60ae45f/attachment.html