Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
bug in floating point implementation ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1999-02-26 (12:15)
From: Stefan Monnier <monnier+lists/caml/news/@t...>
Subject: Re: bug in floating point implementation ?
>>>>> "Xavier" == Xavier Leroy <> 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.