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 CCCF37F98F for ; Tue, 1 Aug 2017 19:13:29 +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@mga03.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.65; 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.65 as permitted sender) identity=mailfrom; client-ip=134.134.136.65; 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@mga03.intel.com) identity=helo; client-ip=134.134.136.65; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga03.intel.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AzAvXlhWJizhhoLgPcZf18oom/C7V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbRaBt8tkgFKBZ4jH8fUM07OQ6PGwHzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLdxIRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlD?= =?us-ascii?q?kIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZAo2y?= =?us-ascii?q?cZYBD/YPM+hboYnypVoOogexCgejH+7v1iRHi3vq0aEmz+gsEwfL1xEgEdIUt3?= =?us-ascii?q?TUqc34OKkPX+Cy0qbIwinDb+lR2Tfl8ITDbxcvofCQUrJwa8Xe100vGw3YhViX?= =?us-ascii?q?rIzlPi+a1uQXvGeF6+psT/mvi2k5pAF+vjiv3MAsipHSi4IUzFDE6Tt2wIIvKd?= =?us-ascii?q?KkT057ZMepHZ1NvC+UMIt2R9ktQ2BuuCsi170JpYW7czUQxJs52hHfduSLc4mO?= =?us-ascii?q?4hL/SumRJS10i297d7+5mh288lCgx/XhWsS631tGtDdJn9fDu3wXyhDe5MmKRu?= =?us-ascii?q?F880qhwTqDygHe5+9eLU06m6fXMYAtz7A0m5YJrEjOHTH6lF3rgKKXckgo4Pak?= =?us-ascii?q?5uTob7n8uJOQLZF4hhzjPqkoh8exG/43MhIUUGie4em81KPs/Un+QLhSi/02nb?= =?us-ascii?q?PWvIzUKMgBp665BRNV3Zgn6xqlEzim19EYkWEGLFJDZh2Hk5DkN0zALf33F/uz?= =?us-ascii?q?nlqhnThxy/zbMLDsA4/BI3nDnbv5eLZy8U9cyA49zdBF4JJUD6kMIPfyWkDttN?= =?us-ascii?q?zXFAE2Mwiuz+b8D9VyyIweWX6VAq+eKKPfql6I5uQzI+aSYI8ZoiryK/8g5/L2?= =?us-ascii?q?l382hUcdfbW13ZsQcH23Au5pI0CdYXb1htcBEHwKvhYlQezxiFyCVCZTaGyoU6?= =?us-ascii?q?I94DE7EoOmAp3ZSoCjmrzSlBu8S6Vbem1cQmyMEHrtfoOCE6MQaCOfJ8ZnlBQF?= =?us-ascii?q?U7amUYooyRCt8hL8yv9pNOfV8DACutTv2Y4myffUkER4zjt5ANiH1HnJB0R1lW?= =?us-ascii?q?MBSjt8lPR6oEd9w1qHl7N/jvNED9tLz/JPTgo+c5XbyropWJjJRgvdc4LRGx6d?= =?us-ascii?q?SdK8DGR0F4ppzg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D6AACctYBZh0GIhoZdFgUBAQEDAQEBC?= =?us-ascii?q?QEBARYBAQEDAQEBCQEBAYQTbScHngWBbIgzjWiCBCyFGwIahAtCFQEBAQEBAQE?= =?us-ascii?q?BAQEBEgEBAQgNCQgoL4IzJAGCQAEBAQEBAQEjERUwBQcEAgEIEQQBAQECAgYdA?= =?us-ascii?q?wICAh8RFAEICAIEDgUIig8DDQcBEK8WgiaHMg2EEQEBAQEBAQEBAQEBAQEBAQE?= =?us-ascii?q?BAQEBAR2BC4IdggKBTYFggyaCV4FmOBWCfDCCMQWfOzYGAodOh2iXMowhiVg1g?= =?us-ascii?q?Sx3XoUXEAyBZ3YBiSABgQ0BAQE?= X-IPAS-Result: =?us-ascii?q?A0D6AACctYBZh0GIhoZdFgUBAQEDAQEBCQEBARYBAQEDAQE?= =?us-ascii?q?BCQEBAYQTbScHngWBbIgzjWiCBCyFGwIahAtCFQEBAQEBAQEBAQEBEgEBAQgNC?= =?us-ascii?q?QgoL4IzJAGCQAEBAQEBAQEjERUwBQcEAgEIEQQBAQECAgYdAwICAh8RFAEICAI?= =?us-ascii?q?EDgUIig8DDQcBEK8WgiaHMg2EEQEBAQEBAQEBAQEBAQEBAQEBAQEBAR2BC4Idg?= =?us-ascii?q?gKBTYFggyaCV4FmOBWCfDCCMQWfOzYGAodOh2iXMowhiVg1gSx3XoUXEAyBZ3Y?= =?us-ascii?q?BiSABgQ0BAQE?= X-IronPort-AV: E=Sophos;i="5.41,306,1498514400"; d="scan'208";a="285752380" Received: from mga03.intel.com ([134.134.136.65]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Aug 2017 19:13:27 +0200 Received: from fmsmga003.fm.intel.com ([10.253.24.29]) by orsmga103.jf.intel.com with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Aug 2017 10:13:20 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.41,306,1498546800"; d="scan'208";a="885153492" Received: from irsmsx106.ger.corp.intel.com ([163.33.3.31]) by FMSMGA003.fm.intel.com with ESMTP; 01 Aug 2017 10:13:19 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.211]) by IRSMSX106.ger.corp.intel.com ([169.254.8.236]) with mapi id 14.03.0319.002; Tue, 1 Aug 2017 18:12:49 +0100 From: "Soegtrop, Michael" To: Peter Thiemann CC: =?utf-8?B?RGFuaWVsIELDvG56bGk=?= , Viet Le , "caml-list@inria.fr" Thread-Topic: [Caml-list] Float precision in OCaml Thread-Index: AQHTCrOt2WcrrCwZwkywjNCoCzPQVqJvWJ0AgAAq19CAABG5AIAAJ3Xg Date: Tue, 1 Aug 2017 17:12:49 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A175B282ACD@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A175B282955@IRSMSX102.ger.corp.intel.com> <797F4C7C-A647-424D-8F1B-120B93A723F5@informatik.uni-freiburg.de> In-Reply-To: <797F4C7C-A647-424D-8F1B-120B93A723F5@informatik.uni-freiburg.de> 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 RGVhciBQZXRlciwNCg0KPiBodHRwczovL2NzZXdlYi51Y3NkLmVkdS9+bGVy bmVyL3BhcGVycy9mcC1wcmludGluZy1wb3BsMTYucGRmDQoNCkEgdmVyeSBp bnRlcmVzdGluZyBwYXBlciwgYnV0IGl0IGhhbmRsZXMgb25seSB0aGUgcHJp bnQgZGlyZWN0aW9uLCBub3QgdGhlIHNjYW4gZGlyZWN0aW9uIGFuZCBub3Qg dGhlIHByb2JsZW0gb2Y6DQoNCmZvcmFsbCAoeCA6IGRvdWJsZSk6IHNjYW4o cHJpbnQoeCkpID0geA0KDQpCZXN0IHJlZ2FyZHMsDQoNCk1pY2hhZWwNCg0K PiAtLS0tLU9yaWdpbmFsIE1lc3NhZ2UtLS0tLQ0KPiBGcm9tOiBQZXRlciBU aGllbWFubiBbbWFpbHRvOnRoaWVtYW5uQGluZm9ybWF0aWsudW5pLWZyZWli dXJnLmRlXQ0KPiBTZW50OiBUdWVzZGF5LCBBdWd1c3QgMSwgMjAxNyA1OjQ5 IFBNDQo+IFRvOiBTb2VndHJvcCwgTWljaGFlbCA8bWljaGFlbC5zb2VndHJv cEBpbnRlbC5jb20+DQo+IENjOiBQZXRlciBUaGllbWFubiA8dGhpZW1hbm5A aW5mb3JtYXRpay51bmktZnJlaWJ1cmcuZGU+OyBEYW5pZWwgQsO8bnpsaQ0K PiA8ZGFuaWVsLmJ1ZW56bGlAZXJyYXRpcXVlLmNoPjsgVmlldCBMZSA8dmll dGxxODVAZ21haWwuY29tPjsgY2FtbC0NCj4gbGlzdEBpbnJpYS5mcg0KPiBT dWJqZWN0OiBSZTogW0NhbWwtbGlzdF0gRmxvYXQgcHJlY2lzaW9uIGluIE9D YW1sDQo+IA0KPiBCVFcsIHRoZXJlIGlzIHNvbWUgbGl0ZXJhdHVyZSBvbiB0 aGlzIHRvcGljLCB0aGUgbW9zdCByZWNlbnQgb2Ygd2hpY2ggaXMgdGhlDQo+ IHBhcGVyIOKAnFByaW50aW5nIEZsb2F0aW5nIFBvaW50IE51bWJlcnMgLSBB IGZhc3RlciwgYWx3YXlzIGNvcnJlY3QgbWV0aG9k4oCdDQo+IGh0dHBzOi8v Y3Nld2ViLnVjc2QuZWR1L35sZXJuZXIvcGFwZXJzL2ZwLXByaW50aW5nLXBv cGwxNi5wZGYNCj4gDQo+IEl0IGNpdGVzIGFsbCB0aGUgcHJldmlvdXMgZWZm b3J0cyBzdGFydGluZyB3aXRoIEtudXRo4oCZcyBUQUNQIFZvbCBJSSwgc2Vt aW51bWVyaWNhbA0KPiBhbGdvcml0aG1zLg0KPiANCj4gLVBldGVyDQo+IA0K PiA+IE9uIDEuIEF1ZyAyMDE3LCBhdCAxNTo1NywgU29lZ3Ryb3AsIE1pY2hh ZWwgPG1pY2hhZWwuc29lZ3Ryb3BAaW50ZWwuY29tPg0KPiB3cm90ZToNCj4g Pg0KPiA+IFNhaWQgdGhhdCwgb25lIGNhbiBkZWZpbmUgYSBtYXBwaW5nIGZy b20gZmxvYXRpbmcgcG9pbnQgbnVtYmVycyB0byB1c3VhbA0KPiBkZWNpbWFs IHN0cmluZyByZXByZXNlbnRhdGlvbnMgYW5kIGJhY2sgc3VjaCB0aGF0IGVh Y2ggZmxvYXRpbmcgcG9pbnQgbnVtYmVyDQo+IHJlc3VsdHMgaW4gYSB1bmlx dWUgc3RyaW5nLiBJdCBpcyBqdXN0IHF1aXRlIHRyaWNreSB0byBnZXQgaXQg cmlnaHQgd2l0aG91dCBleHRlbmRlZA0KPiBwcmVjaXNpb24gYXJpdGhtZXRp YywgdGhvdWdoLg0KPiA+DQo+ID4gQXMgZmFyIGFzIEkga25vdyB0aGUgTGlz cCBzdGFuZGFyZCByZXF1aXJlcyB0aGF0IGNlcnRhaW4gZmxvYXRpbmcgcG9p bnQgZm9ybWF0cw0KPiBoYXZlIHRoaXMgcHJvcGVydHkgKEkgbmVlZCB0byBj aGVjaykuIE9uZSBtaWdodCBiZSBhYmxlIHRvIGxlYXJuIGZyb20gdGhlbSBo b3cNCj4gdG8gZG8gdGhpcyBwcm9wZXJseS4NCg0KSW50ZWwgRGV1dHNjaGxh bmQgR21iSApSZWdpc3RlcmVkIEFkZHJlc3M6IEFtIENhbXBlb24gMTAtMTIs IDg1NTc5IE5ldWJpYmVyZywgR2VybWFueQpUZWw6ICs0OSA4OSA5OSA4ODUz LTAsIHd3dy5pbnRlbC5kZQpNYW5hZ2luZyBEaXJlY3RvcnM6IENocmlzdGlu IEVpc2Vuc2NobWlkLCBDaHJpc3RpYW4gTGFtcHJlY2h0ZXIKQ2hhaXJwZXJz b24gb2YgdGhlIFN1cGVydmlzb3J5IEJvYXJkOiBOaWNvbGUgTGF1ClJlZ2lz dGVyZWQgT2ZmaWNlOiBNdW5pY2gKQ29tbWVyY2lhbCBSZWdpc3RlcjogQW10 c2dlcmljaHQgTXVlbmNoZW4gSFJCIDE4NjkyOAo=