Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] OCaml and bignums
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-05-10 (17:47)
From: Roberto Bagnara <bagnara@c...>
Subject: Re: [Caml-list] OCaml and bignums
Jean-Christophe Filliatre wrote:
>  > > 2. MLGMP : bindings for the GNU Multiprecision library, maintained by David Monniaux ( It provides support for big integers, for rationnals and for big precision floats.
>  > 
>  > As far as you can tell, is it still maintained?  The latest
>  > item in ChangeLog appears to be on November 2002.
> David will probably answer, but you  should keep in mind that MLGML is
> nothing but  a stub code to  a C library  and thus does not  need much
> maintenance  (the GMP  interface  is quite  stable).  I've used  MLGMP
> several times since Nov 2002 and never had trouble with it.

That is certainly a good point.


Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: