I've got a copy of mlgmp, which is here:

	 http://www.lri.fr/~filliatr/pub/mlgmp_0.13.tar.gz

I recently  used it with  a friend of  mine to compute  huge Fibonacci
numbers,  and  it  was  quite  more efficient  than  bignum  (on  that
problem).

Best regards,
-- 
Jean-Christophe FILLIATRE
  mailto:Jean-Christophe.Filliatre@lri.fr
  http://www.lri.fr/~filliatr

> In the Caml Hump, the interface to GMP is linked to:
> 
> 	http://www.eleves.ens.fr:8080/~monniaux/programmes.html.en
> 
> but I am unable to retrieve this page. I need an Ocaml 
> multiple precision arithmetic package. I'd like to try
> using an existing interface if possible, to say wrapping
> my own bignums package. Does anyone have a working link
> to the above interface, or a copy of it? Is it any good?
> 
> (last time I tried, I couldn't build GMP on my linux box
> correctly -- I know my own C code works, but GMP might be
> faster).