Hi all, There is now an integer package that wraps integer-gmp. You will therefore have to do: ./darcs-all get after pulling the latest patches. Thanks Ian