On Mon, Dec 23, 2002 at 09:19:34AM +0100, Sven Luther wrote:

> > - : float = 1040659299.94
> > it seems that  gettimeofday() is for centi-second,  :-)

> It may just be a coincidence that your call to gettimeofday fall on a
> full centi-second, and thus the last decimal was not shown.

Actually, it's just the default resolution of the float pretty-printer
in the top-level.

# Printf.printf "%.30f\n" (Unix.gettimeofday ());;
1040633442.482807993888854980468750000000
- : unit = ()

Will give you many more digits than are actually meaningful.

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