Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] float type with better precision than the default
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...>
Subject: Re: [Caml-list] float type with better precision than the default

 > arbitrary precision floats from the GMP library may be useful in
 > your situation (but as far as I remember, this part of GMP is not
 > (yet) interfaced in mlgmp.)

My mistake: they are implemented in mlgmp latest release
(http://www.di.ens.fr/~monniaux/download/mlgmp.tar.gz)

-- 
Jean-Christophe

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners