Comment author: administrator

From: cremet@lri.fr

le probleme touche a la comparaison de nombres de
type float. Il semble qu'il y ait une incoherence :

   Objective Caml version 3.00

let decimales t = fst (modf t);;

val decimales : float -> float =

decimales 1.14;;

• : float = 0.140000

decimales 2.14;;

• : float = 0.140000

(decimales 1.14) = (decimales 2.14);;

• : bool = false

0.140000 = 0.140000;;

• : bool = true

Bienvenue dans le monde des nombres flottants ou tout est flou et rien
n'est jamais aussi simple qu'en math. Pour comprendre ce qui se
passe:

Printf.printf "%.20f" (decimales 1.14);;

0.13999999999999990000- : unit = ()

Printf.printf "%.20f" (decimales 2.14);;

0.14000000000000012000- : unit = ()

Printf.printf "%.20f" 0.140000;;

0.14000000000000001000- : unit = ()

Les trois nombres flottants (decimales 1.14), (decimales 2.14), et
0.140000 sont differents (et aucun n'est egal au nombre rationnel
0.14), mais l'affichage par defaut les arrondit malencontreusement.

-- Damien

Comment author: administrator

That's how IEEE float arithmetic works.