From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2F9547F98F for ; Tue, 1 Aug 2017 13:48:30 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=francois.bobot@cea.fr; spf=Pass smtp.mailfrom=francois.bobot@cea.fr; spf=None smtp.helo=postmaster@sainfoin-smtp-out.extra.cea.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.167.192.228; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of francois.bobot@cea.fr designates 132.167.192.228 as permitted sender) identity=mailfrom; client-ip=132.167.192.228; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sainfoin-smtp-out.extra.cea.fr) identity=helo; client-ip=132.167.192.228; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@sainfoin-smtp-out.extra.cea.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ab3NOkx8DDED+5/9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?1escTK2v8tzYMVDF4r011RmSDNWds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//57ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRgL2hi?= =?us-ascii?q?cJNzA382/ZhcJ/g61ZvB2vqAdyw5LXbYyPKPZyYq3QcNEcSGFcXshRTStBAoak?= =?us-ascii?q?YoUPFeoOJ+BYqJH6p1sPthuxHRShBOT0xT9Pmn/9wKo30+o7EQ7c2gwvA9UOsH?= =?us-ascii?q?XPrNnvL6gSVvu6zK7UzTjYc/xZxy3y5JLGchA7uPyBW697f8nJyUQ3Cg/IgEuc?= =?us-ascii?q?pZb4Mz6U1OkBqXWX4u5+We61lWIrtQJ8riCyysoilIXFnJ8Zx1HF+Clj3Yo4Ic?= =?us-ascii?q?O0RFR6bNOiDZBerTuVN5FsTcMnW2xouDg1yrkBuZOjZygF0pUnxxjRa/yAcoiI?= =?us-ascii?q?5AvvVP2UITdknHJpYbW/hwuu8US61OL9WdW00ExQoSZfjtbDqGoC2wbd6sidUv?= =?us-ascii?q?d9/0Gh1iiT1w3L9+1JL144mbDGJ5MgwLM8jIcfvEDdEiPshkn6kqybel0h+uey?= =?us-ascii?q?6uTnZrvmpoWbN49xkgz+PL4ulda5AeskNQgOXnOb9f6n273k5kL5R6lKg+Yqna?= =?us-ascii?q?bHqp/WP8obprShDw9Pzokj8wq/Dyuh0NkAgXYINldFeBaeg4jtOlHOO+z4AOyk?= =?us-ascii?q?g1WslTdr3+rJMqfgApXLNHjDka3ucaxz605Gm0IPyoVU7pdQT7UAO+7bW0nrtd?= =?us-ascii?q?WeAAVqHRazxrPJEtx7WYQfQlWlBaWeLOuGv0WB4OkoIvLKbogfvyrVIPUsofD0?= =?us-ascii?q?2yxq0WQBdLWkiMNEIEuzGe5rdh2U?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AiAQBUaoBZh+TAp4RdHQEFAQsBGAEFA?= =?us-ascii?q?QsBhQCPKI8IgWyWG4IEhUcChB5DFAEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzIoJ?= =?us-ascii?q?EAQICASMPAQVRCxoCJgICVxMIAQGKIwiuN4Imi00BCyaBC4IdggKDWIJ7hEABE?= =?us-ascii?q?gFrgkeCYQWfdHmVJIlBhwuVdzaBIAtTKFqFFxAMgWmIcoIxAQEB?= X-IPAS-Result: =?us-ascii?q?A0AiAQBUaoBZh+TAp4RdHQEFAQsBGAEFAQsBhQCPKI8IgWy?= =?us-ascii?q?WG4IEhUcChB5DFAEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzIoJEAQICASMPAQVRC?= =?us-ascii?q?xoCJgICVxMIAQGKIwiuN4Imi00BCyaBC4IdggKDWIJ7hEABEgFrgkeCYQWfdHm?= =?us-ascii?q?VJIlBhwuVdzaBIAtTKFqFFxAMgWmIcoIxAQEB?= X-IronPort-AV: E=Sophos;i="5.41,306,1498514400"; d="scan'208";a="285705288" Received: from sainfoin-smtp-out.extra.cea.fr ([132.167.192.228]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Aug 2017 13:48:06 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by sainfoin-sys.extra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id v71Bm63c001972 for ; Tue, 1 Aug 2017 13:48:06 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 2A5032013BB for ; Tue, 1 Aug 2017 13:48:06 +0200 (CEST) Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 162C0200FC6 for ; Tue, 1 Aug 2017 13:48:06 +0200 (CEST) Received: from [10.8.35.73] (is231324.intra.cea.fr [10.8.35.73]) by muguet1.intra.cea.fr (8.15.2/8.15.2/CEAnet-Intranet-out-1.4) with ESMTP id v71Bm5FW001815 for ; Tue, 1 Aug 2017 13:48:05 +0200 To: caml-list@inria.fr References: From: =?UTF-8?Q?Fran=c3=a7ois_Bobot?= Message-ID: Date: Tue, 1 Aug 2017 13:48:05 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Float precision in OCaml Le 01/08/2017 à 13:42, Viet Le a écrit : > Thanks Nicolas. I did check against C++ before writing the email and I can see OCaml is consistent > with C++. I'm aware about IEEE 754. I'm seeking opinion for maintaining precision using 2 values as > shown. > Doesn't JSON specifically precise that number are doubles? So the meaning is the one of the rounded value. > 4.3.20 Number value > primitive value corresponding to a double‐precision 64‐bit binary format IEEE 754‐2008 value -- François