Re: bug in floating point implementation ?

From: Stefan Monnier (monnier+lists/caml/news/@tequila.cs.yale.edu)
Date: Thu Feb 25 1999 - 17:57:28 MET


To: caml-list@inria.fr
From: Stefan Monnier <monnier+lists/caml/news/@tequila.cs.yale.edu>
Subject: Re: bug in floating point implementation ?
Date: 25 Feb 1999 11:57:28 -0500

>>>>> "Xavier" == Xavier Leroy <Xavier.Leroy@inria.fr> writes:
> The Intel x86 has an interesting quirk: it computes internally in
> extended precision (80 bits), and rounds to double precision (64 bits)
> only when storing a result in memory. This means that in a piece of

But you can make it work in 64bit-mode (or 32bit-mode for that matter)
at which point the discrepencies between true-real 64bit and x86-64bit become
very small (mostly due to the exponent still allowing a wider range).
Of course, there might be good reasons for not using this mode-switch.

        Stefan



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:20 MET