What is the property of float_of_num ? How is it computed ?

Given x : num, I need to find two floats a,b such that a <= x <= b.

Changing the rounding mode and calling float_of_num twice doesnot work 
(this was likely, because I do not know the operation done inside 
float_of_num)

If I know that c = float_of_num is the nearest float, then I can go for
a = x-e and b = x+e with e = x*1e-n with n well chosen.

I think there should be three float_of_num in num.mli:

float_of_num (nearest)
float_of_num_above(nearest above)
float_of_num_bellow (nearest bellow)




-- 
Christophe Raffalli
Universite' de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

te'l: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution
can check this signature
---------------------------------------------

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