From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 01CAA7F98F for ; Tue, 1 Aug 2017 15:57:28 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga14.intel.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=192.55.52.115; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of michael.soegtrop@intel.com designates 192.55.52.115 as permitted sender) identity=mailfrom; client-ip=192.55.52.115; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mga14.intel.com) identity=helo; client-ip=192.55.52.115; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga14.intel.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ac/Y4hxF7FBRV1fmk/NCf7Z1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7ypcuwAkXT6L1XgUPTWs2DsrQf2rqQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDmwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOT4n/m/Klsx+gqFVoByjqBx+34Hbb46bOeFifqzGed4WWXZNUtpTWiFHH4iy?= =?us-ascii?q?b5EPD+0EPetAoYXzulwOogWxBQmwHuPvzSdIimfr1qM90uQuDQHG0xY+ENIKvn?= =?us-ascii?q?jfsdL4NKITUe+pzKnH1yvMb/dM1Tfm74jHbB8hoe2WXbJ3acrc0kgvFwXZjlqO?= =?us-ascii?q?rYzpJS+a1uMIs2WC6edrSOyhi2kiqw5rozivwN8hiojPhoIJ1F/E8T91z5srKt?= =?us-ascii?q?C+VUV1YsakHYNNuyyeKYd6WMMvTmFytCs61LEKo4O3cDUKxZg/2hLSavKKf5KG?= =?us-ascii?q?7x/tTuqdPzl1iXZ/dL6ihBu+71CsxvD9W8SwylpGsCpIn9bWunwTzRDf9NWLRu?= =?us-ascii?q?Z780y8wziAzRrT5ftBIU0slarUNZohwrkom5oWvkTMBDL6lUrsgK+XcEUk5van?= =?us-ascii?q?6+D9brr6oZ+cMpd4igD4MqswhsyyGfk0PwwQU2SB+emx1Kfv8E3nTLlQk/E6j6?= =?us-ascii?q?nUvIjfJcsBp665BwFV0pwk6xa6Fzqm1dUYkmUHLF1fZh2Hi5LlO0rJIP/mAve/?= =?us-ascii?q?n06skDBzx/3dP73hBInNIWbHkLv7Ybl97EtcxBIpzd9D/5JUFq0BIPXrV0Dtrt?= =?us-ascii?q?PYCxs5PxWww+bmE9V9ypgTWXmPA6+cKKPdq0WE5uMpI+mWZY8aoizxK/Y/562m?= =?us-ascii?q?sXhstVYbfKStlbGDbmK8H7wyL0yfYHfoxN0cHGEYugsWQfbwgUGDSCNeIX2yCe?= =?us-ascii?q?Z02DA2FMqCAM+XWIGgnLiYjHqTEZhfZ2QAAVeJRzOgPY6NXvNJbCOJPudglCYF?= =?us-ascii?q?XP6vUcVpgRqnsQu/z7t8MsLV/DcZvNTtzo4myffUkER4zjt5ANiH1HnJB0R1lW?= =?us-ascii?q?MBSjt8lPR6oEd9w1qHl7N/jvNED9tLz/JPTgo+c5XbyropWJjJRgvdc4LRGx6d?= =?us-ascii?q?SdK8DGRpQw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C2AwCdh4BZh3M0N8BUCR0BBQELARgBB?= =?us-ascii?q?QELAYMCgRFtJweeA4FslhuCBCSFIwIahAdCFQEBAQEBAQEBAQEBEgEBAQgNCQg?= =?us-ascii?q?oL4IzIoJDAQEBAQIBIxEVNQsCAQgaAgYgAgICMBUQAgQBGoofBwGvDoImi08BA?= =?us-ascii?q?QEBAQUBAQEBAQEBASCBC4IdggKBTYUGhD0MDh4VgnwwgjEFn3EGAqZolXk1gSx?= =?us-ascii?q?3XoUXEAyBZ3aJIQGBDQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0C2AwCdh4BZh3M0N8BUCR0BBQELARgBBQELAYMCgRFtJwe?= =?us-ascii?q?eA4FslhuCBCSFIwIahAdCFQEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzIoJDAQEBA?= =?us-ascii?q?QIBIxEVNQsCAQgaAgYgAgICMBUQAgQBGoofBwGvDoImi08BAQEBAQUBAQEBAQE?= =?us-ascii?q?BASCBC4IdggKBTYUGhD0MDh4VgnwwgjEFn3EGAqZolXk1gSx3XoUXEAyBZ3aJI?= =?us-ascii?q?QGBDQEBAQ?= X-IronPort-AV: E=Sophos;i="5.41,306,1498514400"; d="scan'208";a="233413873" Received: from mga14.intel.com ([192.55.52.115]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Aug 2017 15:57:27 +0200 Received: from fmsmga001.fm.intel.com ([10.253.24.23]) by fmsmga103.fm.intel.com with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Aug 2017 06:57:20 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.41,306,1498546800"; d="scan'208";a="1178505637" Received: from irsmsx151.ger.corp.intel.com ([163.33.192.59]) by fmsmga001.fm.intel.com with ESMTP; 01 Aug 2017 06:57:09 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.211]) by IRSMSX151.ger.corp.intel.com ([169.254.4.191]) with mapi id 14.03.0319.002; Tue, 1 Aug 2017 14:57:04 +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: AQHTCrOt2WcrrCwZwkywjNCoCzPQVqJvWJ0AgAAq19A= Date: Tue, 1 Aug 2017 13:57:03 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A175B282955@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 RGVhciBEYW5pZWwsDQoNCj4gMS4gVGhlIGxhdGVzdCBSRkMgcmVjb21tZW5k cyBbMV0gdG8gc3VwcG9ydCB0aGUgcmFuZ2Ugb2YgSUVFRSA3NTQgZG91Ymxl DQo+IHByZWNpc2lvbiBudW1iZXJzICh0aG9zZSBhcmUgT0NhbWwncyBmbG9h dCkgaW4gSlNPTiBudW1iZXJzLiBIb3dldmVyIHNpbmNlDQo+IHlvdSBhcmUg Y29udmVydGluZyB5b3VyIGZsb2F0aW5nIHBvaW50IHJlcHJlc2VudGF0aW9u IGZyb20gYmluYXJ5IHRvIGEgZGVjaW1hbA0KPiBvbmUgeW91IGNhbid0IGd1 YXJhbnRlZSB0byByb3VuZCB0cmlwIHlvdXIgZmxvYXRzIHdpdGggYSBKU09O IG51bWJlci4NCg0KSSBkb24ndCBhZ3JlZSB3aXRoIHRoaXMuIEl0IGlzIHBv c3NpYmxlIHRvIGhhdmUgYSBkZWNpbWFsIHJlcHJlc2VudGF0aW9uIG9mIGRv dWJsZSBwcmVjaXNpb24gbnVtYmVycywgd2hpY2ggZ3VhcmFudGVlcyBpZGVu dGl0eSAobWF5YmUgdXAgdG8gTmFOIGFuZCBJbmYgdmFyaWFudHMpIHdoZW4g c2VyaWFsaXplZCBhbmQgZGVzcmlhbGl6ZWQuIFRoZSBwb2ludCBpcyB0aGF0 IHRoZSBleGFtcGxlDQoNCjQuOTQwNjU2NDU4NDFlLTMyNA0KDQpJcyBwcm9i YWJseSBhIGNvcnJlY3RseSByb3VuZGVkIGRlY2ltYWwgcmVwcmVzZW50YXRp b24gb2YgYSBwcmVjaXNlIGRvdWJsZSBwcmVjaXNpb24gZmxvYXRpbmcgcG9p bnQgbnVtYmVyLiBUaGVyZSBoYXMgYmVlbiBhIGxlbmd0aHkgZGlzY3Vzc2lv biBvbiB0aGUgTWF4aW1hIGxpc3Qgb24gd2hhdCBmbG9hdGluZyBwb2ludCBu dW1iZXJzIG1lYW4gYW5kIHRoZSBmaW5hbCBjb25zZW5zdXMgdGhlcmUgd2Fz IHRoYXQgZWFjaCBmbG9hdGluZyBwb2ludCBudW1iZXIgaXMgcHJlY2lzZWx5 IGFuIGludGVnZXIgdGltZXMgYSBwb3dlciBvZiAyLCBldmVuIGEgZGVub3Jt YWxpemVkIG9uZS4gSnVzdCB0aGF0IHlvdSBjYW4ndCBjb252ZXJ0IGRlY2lt YWwgcHJlc2VudGF0aW9ucyBleGFjdGx5IHRvIGZsb2F0aW5nIHBvaW50IG51 bWJlcnMgZG9lc24ndCBtZWFuIHRoYXQgdGhlcmUgaXMgc29tZXRoaW5nIGxp a2UgYW4gaW1wcmVjaXNlIGZsb2F0aW5nIHBvaW50IG51bWJlciwgdGhlcmUg YXJlIGp1c3QgaW1wcmVjaXNlIHJlcHJlc2VudGF0aW9ucyBvZiBkZWNpbWFs cyBudW1iZXJzIGluIGZsb2F0aW5nIHBvaW50IG51bWJlcnMuDQoNClNhaWQg dGhhdCwgb25lIGNhbiBkZWZpbmUgYSBtYXBwaW5nIGZyb20gZmxvYXRpbmcg cG9pbnQgbnVtYmVycyB0byB1c3VhbCBkZWNpbWFsIHN0cmluZyByZXByZXNl bnRhdGlvbnMgYW5kIGJhY2sgc3VjaCB0aGF0IGVhY2ggZmxvYXRpbmcgcG9p bnQgbnVtYmVyIHJlc3VsdHMgaW4gYSB1bmlxdWUgc3RyaW5nLiBJdCBpcyBq dXN0IHF1aXRlIHRyaWNreSB0byBnZXQgaXQgcmlnaHQgd2l0aG91dCBleHRl bmRlZCBwcmVjaXNpb24gYXJpdGhtZXRpYywgdGhvdWdoLg0KDQpBcyBmYXIg YXMgSSBrbm93IHRoZSBMaXNwIHN0YW5kYXJkIHJlcXVpcmVzIHRoYXQgY2Vy dGFpbiBmbG9hdGluZyBwb2ludCBmb3JtYXRzIGhhdmUgdGhpcyBwcm9wZXJ0 eSAoSSBuZWVkIHRvIGNoZWNrKS4gT25lIG1pZ2h0IGJlIGFibGUgdG8gbGVh cm4gZnJvbSB0aGVtIGhvdyB0byBkbyB0aGlzIHByb3Blcmx5Lg0KDQpCZXN0 IHJlZ2FyZHMsDQoNCk1pY2hhZWwNCkludGVsIERldXRzY2hsYW5kIEdtYkgK UmVnaXN0ZXJlZCBBZGRyZXNzOiBBbSBDYW1wZW9uIDEwLTEyLCA4NTU3OSBO ZXViaWJlcmcsIEdlcm1hbnkKVGVsOiArNDkgODkgOTkgODg1My0wLCB3d3cu aW50ZWwuZGUKTWFuYWdpbmcgRGlyZWN0b3JzOiBDaHJpc3RpbiBFaXNlbnNj aG1pZCwgQ2hyaXN0aWFuIExhbXByZWNodGVyCkNoYWlycGVyc29uIG9mIHRo ZSBTdXBlcnZpc29yeSBCb2FyZDogTmljb2xlIExhdQpSZWdpc3RlcmVkIE9m ZmljZTogTXVuaWNoCkNvbW1lcmNpYWwgUmVnaXN0ZXI6IEFtdHNnZXJpY2h0 IE11ZW5jaGVuIEhSQiAxODY5MjgK