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
float rounding
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-09-30 (18:26)
From: Sean McLaughlin <seanmcl@c...>
Subject: float rounding

   I'm using Ocaml for an interval arithmetic application.  I"m  
curious about
what the Ocaml parser/compiler does to float constants.  May I assume
that for any constant I enter, eg. 3.1415... (for N digits of pi), that
the compiler will give me a closest machine representable number?
i.e., if I bound a constant by the previous and next floating point  
value to
that given me by the compiler,
will it always be the case that my original (mathematical) constant  
lies in that interval?