<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2003/12/67c33fd6a80fd9bb5699e02c9519cbea"
  from="romildo@u..."
  author="romildo@u..."
  date="2003-12-06T00:45:01"
  subject="[Caml-list] float type with better precision than the default"
  prev="2003/12/d1edcb5a954d38eb8e71435192f281fe"
  next="2003/12/d1ce098114ef6a4fa98b6d375dc10188"
  next-in-thread="2003/12/d1ce098114ef6a4fa98b6d375dc10188"
  prev-thread="2003/12/6645b76fdaaac896907eba3358f17de9"
  next-thread="2003/12/c26f3a953606811699bfc588b23b35f3"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] float type with better precision than the default">
<msg 
  url="2003/12/67c33fd6a80fd9bb5699e02c9519cbea"
  from="romildo@u..."
  author="romildo@u..."
  date="2003-12-06T00:45:01"
  subject="[Caml-list] float type with better precision than the default">
<msg 
  url="2003/12/d1ce098114ef6a4fa98b6d375dc10188"
  from="Brian Hurt &lt;bhurt@s...&gt;"
  author="Brian Hurt"
  date="2003-12-06T02:18:39"
  subject="Re: [Caml-list] float type with better precision than the default">
<msg 
  url="2003/12/a57122d122354488c33fdd71c79eb0e0"
  from="skaller &lt;skaller@o...&gt;"
  author="skaller"
  date="2003-12-06T04:42:48"
  subject="Re: [Caml-list] float type with better precision than the default">
<msg 
  url="2003/12/782717f719d192da4aa4cbaefeb2c18a"
  from="Remi Vanicat &lt;remi.vanicat@l...&gt;"
  author="Remi Vanicat"
  date="2003-12-06T11:54:44"
  subject="Re: [Caml-list] float type with better precision than the default">
</msg>
</msg>
</msg>
<msg 
  url="2003/12/be6bee0e76fe3ef2a5dc4d20e7679a94"
  from="Jean-Christophe Filliatre &lt;Jean-Christophe.Filliatre@l...&gt;"
  author="Jean-Christophe Filliatre"
  date="2003-12-08T10:20:54"
  subject="Re: [Caml-list] float type with better precision than the default">
<msg 
  url="2003/12/27f6203def5822f2ed6ef90752c9a250"
  from="Jean-Christophe Filliatre &lt;Jean-Christophe.Filliatre@l...&gt;"
  author="Jean-Christophe Filliatre"
  date="2003-12-08T11:43:00"
  subject="Re: [Caml-list] float type with better precision than the default">
</msg>
<msg 
  url="2003/12/9f7af7b58299ce3a1ee017cc8084f8c0"
  from="romildo@u..."
  author="romildo@u..."
  date="2003-12-08T11:57:04"
  subject="Re: [Caml-list] float type with better precision than the default">
</msg>
</msg>
</msg>
</thread>

<contents>
Hello.

A friend of mine needs a type for float numbers
with better precision than the precision offered
in the default float type. He also needs efficiency
in his application.

He is currently looking at the CReal library
that comes with mlgmp. Unfortunatly he is
finding that it is ineficient for his
application.

What he needs is something like a float type with
twice the precision as of the default float type
from OCaml.

Can anyone help with this and indicate a
possible solution?

Regards,

Romildo
-- 
Prof. José Romildo Malaquias        romildo@uber.com.br
Departamento de Computação       malaquias@iceb.ufop.br
Univ. Federal de Ouro Preto  http://uber.com.br/romildo

-------------------
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

</contents>

</message>

