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 F0B017F61D for ; Wed, 26 Oct 2016 10:11:27 +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@mga06.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.31; 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.31 as permitted sender) identity=mailfrom; client-ip=134.134.136.31; 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@mga06.intel.com) identity=helo; client-ip=134.134.136.31; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga06.intel.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AFl+uLx1iq2PQW/WasmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segWLvad9pjvdHbS+e9qxAeQG96KsbQa26GP6fGoGTRZp83e4DZaKN0EfiRGoP?= =?us-ascii?q?tVtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?daymUrLV2viq0e/6xYCbUxhBgnLpfbRzKByqsAPe55E+jo5rK6J3wRzM9ChmYe?= =?us-ascii?q?NTkClTIl+cgwz7/oP42Z9o8y1dv7hpo8tBWqXzcqB+VrtVAyg8NHgd5cv3uB2F?= =?us-ascii?q?RgyKsChPGl4KmwZFVlCWpCrxWY3853P3?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A4AAC+ZBBYhx+IhoZcHQEFAQsBGAEFA?= =?us-ascii?q?QsBgkg3AQEBAQF1fQcBjS2rPYIJH4YDAhqBYz8UAQEBAQEBAQEBAQESAQEBCgs?= =?us-ascii?q?JCR0wgjMYghgBAQQjChwwEAIBCCIgAgICMCUCBA4NE4g4AbMwjHMBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBAQEchj6EVIQjJhUngkYsgi8FmhAGAaAjkQsehD6BXXKGLoE?= =?us-ascii?q?vAYEIAQEB?= X-IPAS-Result: =?us-ascii?q?A0A4AAC+ZBBYhx+IhoZcHQEFAQsBGAEFAQsBgkg3AQEBAQF?= =?us-ascii?q?1fQcBjS2rPYIJH4YDAhqBYz8UAQEBAQEBAQEBAQESAQEBCgsJCR0wgjMYghgBA?= =?us-ascii?q?QQjChwwEAIBCCIgAgICMCUCBA4NE4g4AbMwjHMBAQEBAQEBAQEBAQEBAQEBAQE?= =?us-ascii?q?BAQEchj6EVIQjJhUngkYsgi8FmhAGAaAjkQsehD6BXXKGLoEvAYEIAQEB?= X-IronPort-AV: E=Sophos;i="5.31,549,1473112800"; d="scan'208,217";a="242389903" Received: from mga06.intel.com ([134.134.136.31]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 26 Oct 2016 10:11:26 +0200 Received: from orsmga005.jf.intel.com ([10.7.209.41]) by orsmga104.jf.intel.com with ESMTP; 26 Oct 2016 01:11:23 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.31,549,1473145200"; d="scan'208,217";a="23841791" Received: from irsmsx153.ger.corp.intel.com ([163.33.192.75]) by orsmga005.jf.intel.com with ESMTP; 26 Oct 2016 01:11:23 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.226]) by IRSMSX153.ger.corp.intel.com ([169.254.9.226]) with mapi id 14.03.0248.002; Wed, 26 Oct 2016 09:08:44 +0100 From: "Soegtrop, Michael" To: Tung Vu Xuan CC: "caml-list@inria.fr" Thread-Topic: [Caml-list] Approximations when converting from string to float Thread-Index: AQHSLf9G63n+zULBqUyXnzkk6jejBqC5AEAAgAAoegCAABu/AIAAEL2AgAEMSfA= Date: Wed, 26 Oct 2016 08:08:43 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CFA08CF@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CFA061B@IRSMSX102.ger.corp.intel.com> <25995371-4f79-352b-35fe-7edb92de8161@normalesup.org> <0F7D3B1B3C4B894D824F5B822E3E5A172CFA06ED@IRSMSX102.ger.corp.intel.com> In-Reply-To: Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [163.33.239.182] Content-Type: multipart/alternative; boundary="_000_0F7D3B1B3C4B894D824F5B822E3E5A172CFA08CFIRSMSX102gercor_" MIME-Version: 1.0 Subject: RE: [Caml-list] Approximations when converting from string to float --_000_0F7D3B1B3C4B894D824F5B822E3E5A172CFA08CFIRSMSX102gercor_ Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 RGVhciBUdW5nLA0KDQppZiB5b3UgYXJlIGNvbnZlcnRpbmcgaW50ZWdlcnMg dG8gZmxvYXRzIChubyBkZWNpbWFsIGZyYWN0aW9ucykgYW5kIGlmIHlvdSBj YW4gdXNlIGFuIGFyYml0cmFyeSBwcmVjaXNpb24gaW50ZWdlciBsaWJyYXJ5 IHRvIGNvbnZlcnQgZnJvbSBhcmJpdHJhcnkgc2l6ZSBkZWNpbWFsIHRvIGJp bmFyeSBhbmQgZG8gdGhlIHRydW5jYXRpb24gaW4gdGhlIGJpbmFyeSBkb21h aW4sIHRoZXJlIGlzIG5vIG5lZWQgZm9yIGludGVydmFsIGFyaXRobWV0aWMg 4oCTIGFzIFhhdmllciBhbHNvIHBvaW50ZWQgb3V0LiBUaGUgbWV0aG9kIEkg b3V0bGluZWQgaXMgaW50ZW5kZWQgZm9yIGxpbWl0ZWQgcHJlY2lzaW9uIGlu dGVnZXIgYW5kIGxpbWl0ZWQgcHJlY2lzaW9uIGZsb2F0IGFyaXRobWV0aWMs IGluIHdoaWNoIGNhc2UgeW91IGhhdmUgdG8gdGhyb3cgYXdheSBkZWNpbWFs IGRpZ2l0cyBhbmQgaGFuZGxlIGltcHJlY2lzZSByZXByZXNlbnRhdGlvbnMg b2YgcG93ZXJzIG9mIDEwLiBJbiB0aGlzIGNhc2UgdXNpbmcgYSBhbiBpbnRl cnZhbCBhcml0aG1ldGljIGxpYnJhcnkgZS5nLiB0byByZXByZXNlbnQgdGhl IHBvd2VycyBvZiAxMCB3b3VsZCBiZSBhIGdvb2Qgc29sdXRpb24uDQoNCkJl c3QgcmVnYXJkcywNCg0KTWljaGFlbA0KSW50ZWwgRGV1dHNjaGxhbmQgR21i SApSZWdpc3RlcmVkIEFkZHJlc3M6IEFtIENhbXBlb24gMTAtMTIsIDg1NTc5 IE5ldWJpYmVyZywgR2VybWFueQpUZWw6ICs0OSA4OSA5OSA4ODUzLTAsIHd3 dy5pbnRlbC5kZQpNYW5hZ2luZyBEaXJlY3RvcnM6IENocmlzdGluIEVpc2Vu c2NobWlkLCBDaHJpc3RpYW4gTGFtcHJlY2h0ZXIKQ2hhaXJwZXJzb24gb2Yg dGhlIFN1cGVydmlzb3J5IEJvYXJkOiBOaWNvbGUgTGF1ClJlZ2lzdGVyZWQg T2ZmaWNlOiBNdW5pY2gKQ29tbWVyY2lhbCBSZWdpc3RlcjogQW10c2dlcmlj aHQgTXVlbmNoZW4gSFJCIDE4NjkyOAo= --_000_0F7D3B1B3C4B894D824F5B822E3E5A172CFA08CFIRSMSX102gercor_ Content-Type: text/html; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 PGh0bWwgeG1sbnM6dj0idXJuOnNjaGVtYXMtbWljcm9zb2Z0LWNvbTp2bWwi IHhtbG5zOm89InVybjpzY2hlbWFzLW1pY3Jvc29mdC1jb206b2ZmaWNlOm9m ZmljZSIgeG1sbnM6dz0idXJuOnNjaGVtYXMtbWljcm9zb2Z0LWNvbTpvZmZp Y2U6d29yZCIgeG1sbnM6bT0iaHR0cDovL3NjaGVtYXMubWljcm9zb2Z0LmNv bS9vZmZpY2UvMjAwNC8xMi9vbW1sIiB4bWxucz0iaHR0cDovL3d3dy53My5v cmcvVFIvUkVDLWh0bWw0MCI+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9 IkNvbnRlbnQtVHlwZSIgY29udGVudD0idGV4dC9odG1sOyBjaGFyc2V0PXV0 Zi04Ij4NCjxtZXRhIG5hbWU9IkdlbmVyYXRvciIgY29udGVudD0iTWljcm9z b2Z0IFdvcmQgMTQgKGZpbHRlcmVkIG1lZGl1bSkiPg0KPHN0eWxlPjwhLS0N Ci8qIEZvbnQgRGVmaW5pdGlvbnMgKi8NCkBmb250LWZhY2UNCgl7Zm9udC1m YW1pbHk6Q2FsaWJyaTsNCglwYW5vc2UtMToyIDE1IDUgMiAyIDIgNCAzIDIg NDt9DQovKiBTdHlsZSBEZWZpbml0aW9ucyAqLw0KcC5Nc29Ob3JtYWwsIGxp Lk1zb05vcm1hbCwgZGl2Lk1zb05vcm1hbA0KCXttYXJnaW46MGluOw0KCW1h cmdpbi1ib3R0b206LjAwMDFwdDsNCglmb250LXNpemU6MTIuMHB0Ow0KCWZv bnQtZmFtaWx5OiJUaW1lcyBOZXcgUm9tYW4iLCJzZXJpZiI7fQ0KYTpsaW5r LCBzcGFuLk1zb0h5cGVybGluaw0KCXttc28tc3R5bGUtcHJpb3JpdHk6OTk7 DQoJY29sb3I6Ymx1ZTsNCgl0ZXh0LWRlY29yYXRpb246dW5kZXJsaW5lO30N CmE6dmlzaXRlZCwgc3Bhbi5Nc29IeXBlcmxpbmtGb2xsb3dlZA0KCXttc28t c3R5bGUtcHJpb3JpdHk6OTk7DQoJY29sb3I6cHVycGxlOw0KCXRleHQtZGVj b3JhdGlvbjp1bmRlcmxpbmU7fQ0KcA0KCXttc28tc3R5bGUtcHJpb3JpdHk6 OTk7DQoJbXNvLW1hcmdpbi10b3AtYWx0OmF1dG87DQoJbWFyZ2luLXJpZ2h0 OjBpbjsNCgltc28tbWFyZ2luLWJvdHRvbS1hbHQ6YXV0bzsNCgltYXJnaW4t bGVmdDowaW47DQoJZm9udC1zaXplOjEyLjBwdDsNCglmb250LWZhbWlseToi VGltZXMgTmV3IFJvbWFuIiwic2VyaWYiO30NCnNwYW4uaG9lbnpiDQoJe21z by1zdHlsZS1uYW1lOmhvZW56Yjt9DQpzcGFuLkVtYWlsU3R5bGUxOQ0KCXtt c28tc3R5bGUtdHlwZTpwZXJzb25hbC1yZXBseTsNCglmb250LWZhbWlseToi Q2FsaWJyaSIsInNhbnMtc2VyaWYiOw0KCWNvbG9yOiMxRjQ5N0Q7fQ0KLk1z b0NocERlZmF1bHQNCgl7bXNvLXN0eWxlLXR5cGU6ZXhwb3J0LW9ubHk7DQoJ Zm9udC1mYW1pbHk6IkNhbGlicmkiLCJzYW5zLXNlcmlmIjt9DQpAcGFnZSBX b3JkU2VjdGlvbjENCgl7c2l6ZTo4LjVpbiAxMS4waW47DQoJbWFyZ2luOjcw Ljg1cHQgNzAuODVwdCA1Ni43cHQgNzAuODVwdDt9DQpkaXYuV29yZFNlY3Rp b24xDQoJe3BhZ2U6V29yZFNlY3Rpb24xO30NCi0tPjwvc3R5bGU+PCEtLVtp ZiBndGUgbXNvIDldPjx4bWw+DQo8bzpzaGFwZWRlZmF1bHRzIHY6ZXh0PSJl ZGl0IiBzcGlkbWF4PSIxMDI2IiAvPg0KPC94bWw+PCFbZW5kaWZdLS0+PCEt LVtpZiBndGUgbXNvIDldPjx4bWw+DQo8bzpzaGFwZWxheW91dCB2OmV4dD0i ZWRpdCI+DQo8bzppZG1hcCB2OmV4dD0iZWRpdCIgZGF0YT0iMSIgLz4NCjwv bzpzaGFwZWxheW91dD48L3htbD48IVtlbmRpZl0tLT4NCjwvaGVhZD4NCjxi b2R5IGxhbmc9IkVOLVVTIiBsaW5rPSJibHVlIiB2bGluaz0icHVycGxlIj4N CjxkaXYgY2xhc3M9IldvcmRTZWN0aW9uMSI+DQo8cCBjbGFzcz0iTXNvTm9y bWFsIj48c3BhbiBzdHlsZT0iZm9udC1zaXplOjExLjBwdDtmb250LWZhbWls eTomcXVvdDtDYWxpYnJpJnF1b3Q7LCZxdW90O3NhbnMtc2VyaWYmcXVvdDs7 Y29sb3I6IzFGNDk3RCI+RGVhciBUdW5nLDxvOnA+PC9vOnA+PC9zcGFuPjwv cD4NCjxwIGNsYXNzPSJNc29Ob3JtYWwiPjxzcGFuIHN0eWxlPSJmb250LXNp emU6MTEuMHB0O2ZvbnQtZmFtaWx5OiZxdW90O0NhbGlicmkmcXVvdDssJnF1 b3Q7c2Fucy1zZXJpZiZxdW90Oztjb2xvcjojMUY0OTdEIj48bzpwPiZuYnNw OzwvbzpwPjwvc3Bhbj48L3A+DQo8cCBjbGFzcz0iTXNvTm9ybWFsIj48c3Bh biBzdHlsZT0iZm9udC1zaXplOjExLjBwdDtmb250LWZhbWlseTomcXVvdDtD YWxpYnJpJnF1b3Q7LCZxdW90O3NhbnMtc2VyaWYmcXVvdDs7Y29sb3I6IzFG NDk3RCI+aWYgeW91IGFyZSBjb252ZXJ0aW5nIGludGVnZXJzIHRvIGZsb2F0 cyAobm8gZGVjaW1hbCBmcmFjdGlvbnMpIGFuZCBpZiB5b3UgY2FuIHVzZSBh biBhcmJpdHJhcnkgcHJlY2lzaW9uIGludGVnZXIgbGlicmFyeSB0byBjb252 ZXJ0IGZyb20gYXJiaXRyYXJ5IHNpemUgZGVjaW1hbA0KIHRvIGJpbmFyeSBh bmQgZG8gdGhlIHRydW5jYXRpb24gaW4gdGhlIGJpbmFyeSBkb21haW4sIHRo ZXJlIGlzIG5vIG5lZWQgZm9yIGludGVydmFsIGFyaXRobWV0aWMg4oCTIGFz IFhhdmllciBhbHNvIHBvaW50ZWQgb3V0LiBUaGUgbWV0aG9kIEkgb3V0bGlu ZWQgaXMgaW50ZW5kZWQgZm9yIGxpbWl0ZWQgcHJlY2lzaW9uIGludGVnZXIg YW5kIGxpbWl0ZWQgcHJlY2lzaW9uIGZsb2F0IGFyaXRobWV0aWMsIGluIHdo aWNoIGNhc2UgeW91IGhhdmUgdG8gdGhyb3cNCiBhd2F5IGRlY2ltYWwgZGln aXRzIGFuZCBoYW5kbGUgaW1wcmVjaXNlIHJlcHJlc2VudGF0aW9ucyBvZiBw b3dlcnMgb2YgMTAuIEluIHRoaXMgY2FzZSB1c2luZyBhIGFuIGludGVydmFs IGFyaXRobWV0aWMgbGlicmFyeSBlLmcuIHRvIHJlcHJlc2VudCB0aGUgcG93 ZXJzIG9mIDEwIHdvdWxkIGJlIGEgZ29vZCBzb2x1dGlvbi48bzpwPjwvbzpw Pjwvc3Bhbj48L3A+DQo8cCBjbGFzcz0iTXNvTm9ybWFsIj48c3BhbiBzdHls ZT0iZm9udC1zaXplOjExLjBwdDtmb250LWZhbWlseTomcXVvdDtDYWxpYnJp JnF1b3Q7LCZxdW90O3NhbnMtc2VyaWYmcXVvdDs7Y29sb3I6IzFGNDk3RCI+ PG86cD4mbmJzcDs8L286cD48L3NwYW4+PC9wPg0KPHAgY2xhc3M9Ik1zb05v cm1hbCI+PHNwYW4gc3R5bGU9ImZvbnQtc2l6ZToxMS4wcHQ7Zm9udC1mYW1p bHk6JnF1b3Q7Q2FsaWJyaSZxdW90OywmcXVvdDtzYW5zLXNlcmlmJnF1b3Q7 O2NvbG9yOiMxRjQ5N0QiPkJlc3QgcmVnYXJkcyw8bzpwPjwvbzpwPjwvc3Bh bj48L3A+DQo8cCBjbGFzcz0iTXNvTm9ybWFsIj48c3BhbiBzdHlsZT0iZm9u dC1zaXplOjExLjBwdDtmb250LWZhbWlseTomcXVvdDtDYWxpYnJpJnF1b3Q7 LCZxdW90O3NhbnMtc2VyaWYmcXVvdDs7Y29sb3I6IzFGNDk3RCI+PG86cD4m bmJzcDs8L286cD48L3NwYW4+PC9wPg0KPHAgY2xhc3M9Ik1zb05vcm1hbCI+ PHNwYW4gc3R5bGU9ImZvbnQtc2l6ZToxMS4wcHQ7Zm9udC1mYW1pbHk6JnF1 b3Q7Q2FsaWJyaSZxdW90OywmcXVvdDtzYW5zLXNlcmlmJnF1b3Q7O2NvbG9y OiMxRjQ5N0QiPk1pY2hhZWw8bzpwPjwvbzpwPjwvc3Bhbj48L3A+DQo8L2Rp dj4NCjxwPjxmb250IHN0eWxlPSJmb250LXNpemU6IDlweDsiPkludGVsIERl dXRzY2hsYW5kIEdtYkg8YnI+ClJlZ2lzdGVyZWQgQWRkcmVzczogQW0gQ2Ft cGVvbiAxMC0xMiwgODU1NzkgTmV1YmliZXJnLCBHZXJtYW55PGJyPgpUZWw6 ICs0OSA4OSA5OSA4ODUzLTAsIHd3dy5pbnRlbC5kZTxicj4KTWFuYWdpbmcg RGlyZWN0b3JzOiBDaHJpc3RpbiBFaXNlbnNjaG1pZCwgQ2hyaXN0aWFuIExh bXByZWNodGVyPGJyPgpDaGFpcnBlcnNvbiBvZiB0aGUgU3VwZXJ2aXNvcnkg Qm9hcmQ6IE5pY29sZSBMYXU8YnI+ClJlZ2lzdGVyZWQgT2ZmaWNlOiBNdW5p Y2g8YnI+CkNvbW1lcmNpYWwgUmVnaXN0ZXI6IEFtdHNnZXJpY2h0IE11ZW5j aGVuIEhSQiAxODY5Mjg8L2ZvbnQ+PGJyPgo8L3A+CjwvYm9keT4NCjwvaHRt bD4NCg== --_000_0F7D3B1B3C4B894D824F5B822E3E5A172CFA08CFIRSMSX102gercor_--