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 683417F98F for ; Tue, 1 Aug 2017 16:08:04 +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@mga01.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=192.55.52.88; 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 192.55.52.88 as permitted sender) identity=mailfrom; client-ip=192.55.52.88; 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@mga01.intel.com) identity=helo; client-ip=192.55.52.88; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga01.intel.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A7/h8oB0CqvoHy9TZsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seMRKfad9pjvdHbS+e9qxAeQG96Ku7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXYAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmiD?= =?us-ascii?q?kJOSMl8G/ZicJwgqBUoBO9qBNwzIDZe52VO+F6c6/BYd8WWWhMU8BMXCJBGIO8?= =?us-ascii?q?aI4PAvIPMehFqInyuVQOrQekBQmrHOPj0iJDiHj33aIm0+QuCx/J3AguE9kTt3?= =?us-ascii?q?nUqdT1O7sSUe+v0qbIyS/Pb+hR2Tjj54jIbgohofaUXb9rcMrRz1UvGB3BjlmK?= =?us-ascii?q?tYPlODaV2/0LvmOG4eRgUuevhHQmqwF3ujWvx8EsipXXiYIR0FzL6Dt2zYAoLt?= =?us-ascii?q?O7UE52ecOoHZ9Ouy2AN4Z7QtkuTmF2tCogybALuoa3cDULxZkp3RLSZfKKf5KW?= =?us-ascii?q?7h/tUOudOyp0iXF7dL6nmhq/8EytxvfiWsS031tGtDRJnsPSunwQyhDe7NWMRO?= =?us-ascii?q?Fn8Ue7wzmP0hje6uFaLkAwkqrWM5shwrEqmZYPrEjPBC72mEPqjKCIckUo4PSn?= =?us-ascii?q?6+PiYrn+p5+cMZF7ih3mP6gznsGzH/40PwgOUmSB+emwyqfv8E76TblSi/05iK?= =?us-ascii?q?jZsJTUJcQBoa65BhdY0oMi6xmjDzepysoXnX0dIFJefxKIkYfpO03UIPD/Ffey?= =?us-ascii?q?mFWskDF3x//YOr3tGInCLn/GkLv5Z7Zy91ZcyBYvzdBY/59bFqsOIPf3WkPosN?= =?us-ascii?q?zYDwQ5MxCvzub8CNR905seVniVDq+YNqPSq16I6fg1L+mCfo9G8Ar6frIe4PPh?= =?us-ascii?q?kWU+gRtVWKii3ZIabDrwSvFnKEWQbH6qmdAMHnsQuRIWTer2hVnEWjlWMTL6c6?= =?us-ascii?q?s65zw/QKgyC5XHR8j5jLWH3Sq/WJdLa2ZUDlGkHG3yfpmFQuoBLimSdIsprD0J?= =?us-ascii?q?SfCFRsd1yxCjqAvjm+dPIe/d+ylevpXmgpw9rebakBV38T1vE+yc1XuMRid6hC?= =?us-ascii?q?lAEzQ/2aQ6pU1m1n+C17J5irpWD4oAyelOV1JwDpnRwPBgDMi2EifAddeARVLs?= =?us-ascii?q?CoGjADoxR981hcQJbklhAdK6phHFwyeuRbQSkurYV9QP7qvA0i2pdI5GwHHc2f?= =?us-ascii?q?x5gg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BuAQDmiYBZh1g0N8BdHQEFAQsBGQYMh?= =?us-ascii?q?BNtFRIHjgePfJd5ghIkhSMCGoQHPxgBAQEBAQEBAQEBARIBAQEIDQkIKC+CMyK?= =?us-ascii?q?CRAMDIxEVQAIBCBoCBiACAgIwFRACBAEaiiYBrxGCJotPAQEBAQYBAQEBAQEBI?= =?us-ascii?q?YELgh2CAoFNhQaEdRWCfDCCMQWfcQYCpmiVeR+BQndehSeBc3aJIQGBDQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BuAQDmiYBZh1g0N8BdHQEFAQsBGQYMhBNtFRIHjgePfJd?= =?us-ascii?q?5ghIkhSMCGoQHPxgBAQEBAQEBAQEBARIBAQEIDQkIKC+CMyKCRAMDIxEVQAIBC?= =?us-ascii?q?BoCBiACAgIwFRACBAEaiiYBrxGCJotPAQEBAQYBAQEBAQEBIYELgh2CAoFNhQa?= =?us-ascii?q?EdRWCfDCCMQWfcQYCpmiVeR+BQndehSeBc3aJIQGBDQEBAQ?= X-IronPort-AV: E=Sophos;i="5.41,306,1498514400"; d="scan'208";a="285728568" Received: from mga01.intel.com ([192.55.52.88]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Aug 2017 16:08:01 +0200 Received: from fmsmga002.fm.intel.com ([10.253.24.26]) by fmsmga101.fm.intel.com with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Aug 2017 07:07:58 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.41,306,1498546800"; d="scan'208";a="1201449781" Received: from irsmsx104.ger.corp.intel.com ([163.33.3.159]) by fmsmga002.fm.intel.com with ESMTP; 01 Aug 2017 07:07:44 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.211]) by IRSMSX104.ger.corp.intel.com ([169.254.5.26]) with mapi id 14.03.0319.002; Tue, 1 Aug 2017 15:07:36 +0100 From: "Soegtrop, Michael" To: "Soegtrop, Michael" , =?utf-8?B?RGFuaWVsIELDvG56bGk=?= , Viet Le , "caml-list@inria.fr" Thread-Topic: [Caml-list] Float precision in OCaml Thread-Index: AQHTCrOt2WcrrCwZwkywjNCoCzPQVqJvWJ0AgAAq19CAAASS4A== Date: Tue, 1 Aug 2017 14:07:36 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A175B2829A1@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A175B282955@IRSMSX102.ger.corp.intel.com> In-Reply-To: <0F7D3B1B3C4B894D824F5B822E3E5A175B282955@IRSMSX102.ger.corp.intel.com> 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 UC5TLjoNCg0KdGhlIGRpc2N1c3Npb24gb24gdGhlIE1heGltYSBsaXN0IHdh cyBhYm91dCB3aGF0IHNpbigyXjEwMDApIHNob3VsZCBiZS4gQXQgMl4xMDAw IGEgZG91YmxlIExTQiBpcyB6aWxsaW9ucyBvZiBQaSwgc28gdGhhdCBvbmUg Y2FuIGFyZ3VlIHRoYXQgdGhlIHByb3BlciBhbnN3ZXIgc2hvdWxkIGJlICJz b21ldGhpbmcgYmV0d2VlbiAtMSBhbmQgMSIuIFRoZSBJRUVFIHN0YW5kYXJk IHRob3VnaCByZXF1aXJlcyB0aGF0IDJeMTAwMCBpcyB0cmVhdGVkIGFzIGFu IGV4YWN0IG51bWJlciBhbmQgbm90IGFzIDJeMTAwMCArLSAyXigxMDAwLTUz KSBhbmQgdGhhdCBzaW4oMl4xMDAwKSBpcyBjb21wdXRlZCB0byBmdWxsIHBy ZWNpc2lvbi4gVGhlIHNhbWUgaWRlYXMgaG9sZCBhdCB0aGUgc21hbGwgZW5k IG9mIG51bWJlcnMuDQoNCkJlc3QgcmVnYXJkcywNCg0KTWljaGFlbA0KSW50 ZWwgRGV1dHNjaGxhbmQgR21iSApSZWdpc3RlcmVkIEFkZHJlc3M6IEFtIENh bXBlb24gMTAtMTIsIDg1NTc5IE5ldWJpYmVyZywgR2VybWFueQpUZWw6ICs0 OSA4OSA5OSA4ODUzLTAsIHd3dy5pbnRlbC5kZQpNYW5hZ2luZyBEaXJlY3Rv cnM6IENocmlzdGluIEVpc2Vuc2NobWlkLCBDaHJpc3RpYW4gTGFtcHJlY2h0 ZXIKQ2hhaXJwZXJzb24gb2YgdGhlIFN1cGVydmlzb3J5IEJvYXJkOiBOaWNv bGUgTGF1ClJlZ2lzdGVyZWQgT2ZmaWNlOiBNdW5pY2gKQ29tbWVyY2lhbCBS ZWdpc3RlcjogQW10c2dlcmljaHQgTXVlbmNoZW4gSFJCIDE4NjkyOAo=