Browse thread
[Caml-list] float type with better precision than the default
-
romildo@u...
- Brian Hurt
-
Jean-Christophe Filliatre
- Jean-Christophe Filliatre
- romildo@u...
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2003-12-08 (11:43) |
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