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 0E4FA7F98F for ; Wed, 2 Aug 2017 10:22:21 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga09.intel.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=134.134.136.24; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of michael.soegtrop@intel.com designates 134.134.136.24 as permitted sender) identity=mailfrom; client-ip=134.134.136.24; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; 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@mga09.intel.com) identity=helo; client-ip=134.134.136.24; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga09.intel.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AmVtjdxZKlGtIR3my6NVcMGz/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrs+7bnLW6fgltlLVR4KTs6sC0LuG9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT6+bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjA57m/Zl9BwgqxYrhKvpRN/wpLbb46aOvdlYqPSZtcXSXZdUspNVSFMBJ63?= =?us-ascii?q?YYsVD+oGOOZVt4fxqUYJrRSgCgmsGPnvyjhQhnPuwKY01OUhHh3G3AM6Ad0OtH?= =?us-ascii?q?rYp8jyOacXUOC60KnIwi/dYPNSwzv984/IfQ4uofGQR7JwdtLRxFIuFwPDklWf?= =?us-ascii?q?t4jlMymJ2eQKtmiW9uxtXv+hhW4grgF+uDmvxsE0h4nIgIIV1k7L9SFjzIkoO9?= =?us-ascii?q?K1TlNwb928EJZIqi2XOYR7Ttk/T2xmtys20KAKtJC6cSQQ1pgqyAbTZ+GGfoWG?= =?us-ascii?q?+B7uWuicLS1miH9rfL+znQu+/Eu+xuHkS8W50VJHojBbntTMuX0BzQLf5tKZRv?= =?us-ascii?q?dg40us3yuE2RrJ5eFeO080kLLWK54/zb40kZoeqUHDHiDsl0nqiKKabEQk+u60?= =?us-ascii?q?6+v5ZrXqvIOTN4hxig3mM6QunNKwAfggPwQTUWWW9v6w2KDt8ED2WrlGk/M7n6?= =?us-ascii?q?jDvJzEKskXvqu5DBVU0oYn5Ra/FTCm0NEAkHkCLVJKZBKHgJL3NFHKOvz4FvC/?= =?us-ascii?q?jEqjkDd33fDGOaXhD47MLnjFjLfuY7J951RAxwo0yNBT/4hUBa0ZIPLvRk/xs8?= =?us-ascii?q?TVAQMjPAyxx+brEdF91oIFWWKTGaKZK6PTsVqQ5u01OeWMZYkVuCz8K/c//fLu?= =?us-ascii?q?g2U5yhchevyF1J0WZXTwNGBgMUGYKS7gi9EAHGNMtBczSv7uiXWPSyRae3erQq?= =?us-ascii?q?967TFtTMqYDIrfDqSgyOif3SqnGoQGO0hJD1mNFTHjcIDSH79GYyuXJoplkycY?= =?us-ascii?q?fbmnUY4okx+0/keuwLNiKq/Q+zYEnZPlztl8oePJw0Ic7ztxWo6m1GyCU3tzhi?= =?us-ascii?q?dAYj493KlypQY1nlKC2qhxjvgeDtte6O9TVR8SNJjAwug8ANf3DFGSNuyVQUqr?= =?us-ascii?q?F431SQo6Scg8locD?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A3AQBYioFZhxiIhoZdHQEFAQsBGAEFA?= =?us-ascii?q?QsBhBOBFAeeCYFulhAOggQkhSMCGoQTQRYBAQEBAQEBAQEBARIBAQEIDQkIKC+?= =?us-ascii?q?CMyKCQwEBAQECASMRFTULAgEIGgIGIAICAjAVEAIEARqKHwcBr0iCJotQAQEBA?= =?us-ascii?q?QYBAQEBAQEiCQGBAYIdggKBTYUJhD04FYJ8MIIxBZ91BgKmbZV6JgiBM3dehSe?= =?us-ascii?q?Bc3aIXwGBDQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0A3AQBYioFZhxiIhoZdHQEFAQsBGAEFAQsBhBOBFAeeCYF?= =?us-ascii?q?ulhAOggQkhSMCGoQTQRYBAQEBAQEBAQEBARIBAQEIDQkIKC+CMyKCQwEBAQECA?= =?us-ascii?q?SMRFTULAgEIGgIGIAICAjAVEAIEARqKHwcBr0iCJotQAQEBAQYBAQEBAQEiCQG?= =?us-ascii?q?BAYIdggKBTYUJhD04FYJ8MIIxBZ91BgKmbZV6JgiBM3dehSeBc3aIXwGBDQEBA?= =?us-ascii?q?Q?= X-IronPort-AV: E=Sophos;i="5.41,310,1498514400"; d="scan'208";a="285810604" Received: from mga09.intel.com ([134.134.136.24]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 02 Aug 2017 10:22:19 +0200 Received: from fmsmga006.fm.intel.com ([10.253.24.20]) by orsmga102.jf.intel.com with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 02 Aug 2017 01:22:16 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.41,310,1498546800"; d="scan'208";a="134969183" Received: from irsmsx105.ger.corp.intel.com ([163.33.3.28]) by fmsmga006.fm.intel.com with ESMTP; 02 Aug 2017 01:22:14 -0700 Received: from irsmsx111.ger.corp.intel.com (10.108.20.4) by irsmsx105.ger.corp.intel.com (163.33.3.28) with Microsoft SMTP Server (TLS) id 14.3.319.2; Wed, 2 Aug 2017 09:22:12 +0100 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.211]) by irsmsx111.ger.corp.intel.com ([169.254.2.25]) with mapi id 14.03.0319.002; Wed, 2 Aug 2017 09:22:12 +0100 From: "Soegtrop, Michael" To: =?utf-8?B?RGFuaWVsIELDvG56bGk=?= , Viet Le , "caml-list@inria.fr" Thread-Topic: [Caml-list] Float precision in OCaml Thread-Index: AQHTCrOt2WcrrCwZwkywjNCoCzPQVqJvWJ0AgABzzJ+AAOwigA== Date: Wed, 2 Aug 2017 08:22:12 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A175B282CDD@IRSMSX102.ger.corp.intel.com> References: In-Reply-To: Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: dlp-product: dlpe-windows dlp-version: 11.0.0.116 dlp-reaction: no-action x-originating-ip: [163.33.239.182] Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Subject: RE: [Caml-list] Float precision in OCaml RGVhciBEYW5pZWwsDQoNCj4gQW5kIHNpbmNlIHlvdSBoYXZlIG5vIGNvbnRy b2wgb24gd2hpY2ggYmluYXJ5IHRvIGRlY2ltYWwgY29kZWNzIEpTT04gcGFy c2Vycw0KPiBhcmUgZ29pbmcgdG8gdXNlIHlvdSBoYXZlIGFic29sdXRlbHkg bm8gaW50ZXJvcGVyYWJpbGl0eSBzdG9yeSBhdCB0aGF0IHBvaW50Lg0KDQp0 aGlzIGlzIHRydWUsIGFsdGhvdWdoIGlmIGJvdGggZW5kcyB1c2UgInJvdW5k IHRyaXAgc2FmZSIgY29kZWNzLCB0aGUgZXJyb3Igc2hvdWxkIGJlIGF0IG1v c3QgMSBMU0IgYW5kIHRoaXMgYWxzbyBvbmx5IGluIHJhcmUgY2FzZXMsIHdo aWNoIGlzIGF0IGxlYXN0IGEgYml0IG9mIGEgc3RvcnkuIElmIG9uZSB1c2Vz IGNvZGVjcyB3aGljaCBhcmUgbm90IHJvdW5kIHRyaXAgc2FmZSwgdGhlIHN0 b3J5IGlzIG11Y2ggd29yc2UuIFNvIEkgd291bGQgc2F5IHRoYXQgdXNpbmcg cm91bmQgdHJpcCBzYWZlIGNvZGVjcyBzdGlsbCBnaXZlcyBhIHN1YnN0YW50 aWFsIGFkdmFudGFnZS4gQnV0IHlvdSBhcmUgZGVmaW5pdGVseSByaWdodCAt IGl0IGlzIG5vdCB0aGUgaG9seSBncmFpbC4NCg0KSXQgd291bGQgYmUgYW4g aW50ZXJlc3RpbmcgZXhlcmNpc2UgdG8gdGVzdCB0aGUgaW50ZXJvcGVyYWJp bGl0eSBvZiBkaWZmZXJlbnQgcm91bmQgdHJpcCBzYWZlIGNvZGVjcy4NCg0K QmVzdCByZWdhcmRzLA0KDQpNaWNoYWVsDQpJbnRlbCBEZXV0c2NobGFuZCBH bWJIClJlZ2lzdGVyZWQgQWRkcmVzczogQW0gQ2FtcGVvbiAxMC0xMiwgODU1 NzkgTmV1YmliZXJnLCBHZXJtYW55ClRlbDogKzQ5IDg5IDk5IDg4NTMtMCwg d3d3LmludGVsLmRlCk1hbmFnaW5nIERpcmVjdG9yczogQ2hyaXN0aW4gRWlz ZW5zY2htaWQsIENocmlzdGlhbiBMYW1wcmVjaHRlcgpDaGFpcnBlcnNvbiBv ZiB0aGUgU3VwZXJ2aXNvcnkgQm9hcmQ6IE5pY29sZSBMYXUKUmVnaXN0ZXJl ZCBPZmZpY2U6IE11bmljaApDb21tZXJjaWFsIFJlZ2lzdGVyOiBBbXRzZ2Vy aWNodCBNdWVuY2hlbiBIUkIgMTg2OTI4Cg==