From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA14486; Fri, 1 Oct 2004 09:55:48 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA14778 for ; Fri, 1 Oct 2004 09:55:43 +0200 (MET DST) Received: from eris.rz.uni-saarland.de (eris.rz.uni-saarland.de [134.96.7.8]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i917tgo3029095 for ; Fri, 1 Oct 2004 09:55:43 +0200 Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.254.254]) by eris.rz.uni-saarland.de (8.12.10/8.12.10) with ESMTP id i917tdWl7344360; Fri, 1 Oct 2004 09:55:39 +0200 (CST) Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.13.1/2004080400) with ESMTP id i917tcYG007204; Fri, 1 Oct 2004 09:55:38 +0200 (CEST) Received: from mail.st.cs.uni-sb.de (goscinny.cs.uni-sb.de [134.96.235.32]) by mail.cs.uni-sb.de (8.13.1/2004093000) with ESMTP id i917tZLT005051; Fri, 1 Oct 2004 09:55:37 +0200 (CEST) X-Authentication-Warning: mail.cs.uni-sb.de: Host goscinny.cs.uni-sb.de [134.96.235.32] claimed to be mail.st.cs.uni-sb.de Received: from [134.96.235.101] (jonagold.cs.uni-sb.de [134.96.235.101]) by mail.st.cs.uni-sb.de (Postfix) with ESMTP id DFF861BDE2; Fri, 1 Oct 2004 09:55:34 +0200 (CEST) In-Reply-To: <6b8a914204093012256481d02d@mail.gmail.com> References: <415C39B0.2020909@research.att.com> <6b8a914204093012256481d02d@mail.gmail.com> Mime-Version: 1.0 (Apple Message framework v619) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <5A051B81-137F-11D9-A02F-000A95CB833C@cs.uni-sb.de> Content-Transfer-Encoding: 7bit Cc: caml-list@inria.fr From: Christian Lindig Subject: Re: [Caml-list] Printing floating point numbers & precision Date: Fri, 1 Oct 2004 09:56:07 +0200 To: Remi Vanicat X-Mailer: Apple Mail (2.619) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-1.5.1 (eris.rz.uni-saarland.de [134.96.7.8]); Fri, 01 Oct 2004 09:55:39 +0200 (CEST) X-AntiVirus: checked by AntiVir Milter 1.0.6; AVE 6.27.0.12; VDF 6.27.0.82 X-Miltered: at concorde with ID 415D0D7F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lindig:01 lindig:01 uni-sb:01 caml-list:01 pldi:01 sigplan:01 sigplan:01 remi:01 sep:01 vanicat:01 wrote:03 white:93 white:93 source:07 york:92 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sep 30, 2004, at 9:25 PM, Remi Vanicat wrote: >> I've combed the documentation to try to understand the relationship >> between >> printing and precision (and accuracy!) but have come up empty handed. A very good source for understanding printing and reading of floating-point numbers are these two articles; they appeared in the same PLDI '90 proceedings. G. L. Steele Jr. and J. L. White. How to print floating-point numbers accurately. In Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, pages 112--126, White Plains, New York, June 1990. W. D. Clinger, How to read floating point numbers accurately, Proceedings of the {ACM} {SIGPLAN} '90 Conference on Programming Language Design and Implementation, SIGPLAN Notices, pages 92--101, White Plains, New York, June 1990. -- Christian ------------------- 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