From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 0D0BABBAF for ; Sun, 17 May 2009 18:15:19 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkkCAGzUD0qGhogYkGdsb2JhbACXVQEBAQEJCQwHEQW3d4QBBQ X-IronPort-AV: E=Sophos;i="4.38,431,1233529200"; d="scan'208";a="29465603" Received: from mga09.intel.com ([134.134.136.24]) by mail1-smtp-roc.national.inria.fr with ESMTP; 17 May 2009 18:15:18 +0200 Received: from orsmga001.jf.intel.com ([10.7.209.18]) by orsmga102.jf.intel.com with ESMTP; 17 May 2009 09:04:54 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="4.41,208,1241420400"; d="scan'208";a="516305366" Received: from azsmsx601.amr.corp.intel.com ([10.2.121.193]) by orsmga001.jf.intel.com with ESMTP; 17 May 2009 09:14:30 -0700 Received: from azsmsx501.amr.corp.intel.com ([10.2.167.99]) by azsmsx601.amr.corp.intel.com ([10.2.121.193]) with mapi; Sun, 17 May 2009 09:15:16 -0700 From: "Harrison, John R" To: "caml-list@yquem.inria.fr" Cc: "Harrison, John R" Date: Sun, 17 May 2009 09:15:17 -0700 Subject: RE: [Caml-list] Data type representing 'Money' Thread-Topic: [Caml-list] Data type representing 'Money' Thread-Index: AcnWvoeYVNo4fUdgQQ+bxlyg9ySCtwAStvcg Message-ID: References: <4A0F7508.8090705@gmail.com> <20090517091042.112814ytzw8ni3ci@webmail.imag.fr> In-Reply-To: <20090517091042.112814ytzw8ni3ci@webmail.imag.fr> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Spam: no; 0.00; ocaml:01 arith:01 caml-list:01 arithmetic:01 arithmetic:01 data:02 binary:02 talks:03 library:03 types:05 types:05 deadline:05 representing:05 long:06 en-us:92 The recent revision of the IEEE Standard 754 for binary floating-point arithmetic added specifications for decimal floating-point types, specifically designed for use in financial applications. In the long term, OCaml support for these may be a good idea. Intel provides a library with a fairly portable software implementation of the new decimal types here: http://software.intel.com/en-us/articles/intel-decimal-floating-point-math-= library/ And if you want to find out more about decimal arithmetic, there are several talks and a special session on the subject at this year's Computer Arithmetic conference, the early registration deadline for which is tomorrow :-) http://www.ac.usc.es/arith19/ John.