From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id A9DAD5D5 for ; Wed, 15 Jun 2022 14:26:07 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:cc:message-id:in-reply-to:references: mime-version:content-transfer-encoding:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=NcxJRXyEmuX8/t+AKAeEteQ+6PWsMsqHsTDkWNZmooE=; b=iBWh2+TZVKM9Wt//bL7PmN69/hlrpiiOCHiOe5nMICnBuULbKlcQ0Klr zaH0p8xWwkBAzAVJN7roG60DoOo+sDsAZVTjFkb/Svs3dTMqZ7uOXmoDw 68W6jgK2Q9URN3Y2MXdBcSVuMxzv8lATbAjWSmWgkDygYFdVsvQ2033Ie c=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:192.134.164.0/24 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="5.91,302,1647298800"; d="scan'208";a="41187942" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Jun 2022 16:26:05 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C4010E0277; Wed, 15 Jun 2022 16:26:05 +0200 (CEST) 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 3463BE0038 for ; Wed, 15 Jun 2022 16:26:02 +0200 (CEST) IronPort-SDR: RnIpFQwWsQjtNiqxTn6yTpZvWAyC8fghtfHkIbsMErstw2lkPj1EdXWCAvMyiGRJo2sNRnMFSS JuVtRrGH7KIzJFsHvW+a5rdvCQkxQ0sOhO8eo8nr8Snx09flRjpw9or/mUT6XPKVqXw1ELRg+o Yp+3OVfDmS9W91haT+JuXyPPl5tBFvdk/40RslqZlL+bRpKPhj/ABNiglsZNb02LosQJNIQW/C 5TjDij2imlPRye3B33/hu5MOajW4CdnNp+okeOC0nBo6gbqEiVyO7bHRxS06peOJJEtl9sHrmH bIlDeDlQeAB2ZldCaqf+oTWG X-IPAS-Result: =?us-ascii?q?A0BQAQBF66lih8O3RtlaDg4BAQEBAQEHAQESAQEEBAEBQ?= =?us-ascii?q?IFPAoIigVYvBAtEhE6OZ4IoixeTUAsBAwENQgQBAYUDAoVIAh0HAQQ1BQ0BA?= =?us-ascii?q?gQBAQEBAwIDAQEBAQEBAwEBBQEBAQIBAQIEBAETAQEBAQ0LCQUICgcOEAU8Z?= =?us-ascii?q?GQDAYFLAwGBeQYEPYI1KQGDZAECAgEjVgULCxoCJgICISYQBgESgn2CZgMNI?= =?us-ascii?q?weuDoExgQGEbYI4DYElgSeBESwBhhyBK4MNAYQdJ4IphD8+giCCJINWMYI0B?= =?us-ascii?q?I1EixUcOQNHNBKBIXEBCAYGBwoFMgYCDBgUBAITElMdAhIMChwOVBkMDwMSA?= =?us-ascii?q?xEBBwILEggVLAgDAgMIAwIDIwsCAxcJBwoDHQgKHBIQFAIEEx4LCAMZHywJA?= =?us-ascii?q?gQOA0MICwoDEQQDExgLFggQBAYDCS8NKAsDBQ8NAQYDBgIFBQEDIAMUAwUbD?= =?us-ascii?q?AcDIQcLJg0NBBwHHQMDBSYDAgIbBwICAwIGFwYCAm8KJg0IBAgEHB0kEAUCB?= =?us-ascii?q?zEFBC8CHgQFBhEJAhYCBgQFAgQEFgICEggCCCcbBxY2GQEFXQYLCSEcKQsGB?= =?us-ascii?q?QYWAyNzBUgPKTU2PC8hGwqBDxkGIgEbtG+qJ2sHghQbgSKaFoV8MoNjpH0tl?= =?us-ascii?q?j8gkGeWLIF5gX2BQIJoTgECAQINAQICAwECAQIBCAEBAgGONY1yR0IxOwIGA?= =?us-ascii?q?QoBAQMJgjqMRwEB?= IronPort-PHdr: A9a23:261+6xPCGgZyh7ZLBaIl6nbJBxdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv64r1QWQFtqCo9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/689pHJfglEmiexbbxwI RmrsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S 6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85 Kl3VhDnlCYHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6jAf90VWHBBU95fWSJBHI2xc YgBAOgPPehFoIbyu1QAogalCAmwHePi0CNEimPq0aA41ekqDAHI3BYnH9ILqHnaos/6NKETU e+ryKnH1SjOd+9Q2Tb87IjIcw0qrPaRUr1qd8rRyFcgFwffglqLtIzqITWV1+UJs2ia9OdvS /ivi3Q9pAFtoziv39oshZfTio0JylDJ7CN0y5s6KtOkUkB0e8KkEIdOuCGAMYt7WsEvTn11t Cs0yrMLuZG2cTQXxJonxRPSduGLfoaK7x/nSuucPzd2iW5mdb++mxq88VStxOPiWsWo3ltHo CRLn9jKu3sQ1BLT8tCKRuVg8kqjwzqC1Rzf5vtZLU03m6fXMYMtz7owm5cVrE/NBDX5mF/sg 6+Tbkgk+van6+DgYrj+vJ+TKYt0hRv+M6kgg8CwHP40Mg0UUGia/eSwzrLj8lf/QLpXj/06i K/Zv47GJcgDp665BRFa0po75hqhEjur0s4UkHsbIF5fZR6KjIbkN0vTLP38Dfqzm1Gsny1qx /DCML3hGJLNLn3bnbj8Z7l97U9cxxQ3zdxF/J1UF68OIPTyW0/1tdzVFQE2Mxauw+n9FNV91 5oeWX+RDaODLKzSsUeE5uQ0LOaUfo8apC79K+Q55/7plXI1hEcRfbO10psPdHC4AvNmLl2Fb nX2h9cBFX4Gvg4/TOzxlF2PSiVTZna3X6Ik/D43EoOmDYHZRoCsmrONxim7HocFLlxBX3OBF 3bjd4TMcuwFaWrGK9RokxQFTv6mQI8okxil8g3inf4vAePe4CwVsdrY39h4/eDJ3UU9/DZuD smZlXqGT2xuk3kgSDo/3aQ5qkt4nASty6991tBRE91e48RjxgEoMZ+Um+BzDdH/XkTLY9qPW lKnati8GzgtT8sszpkFYxAuSJ2Zkhnf0n/yUPcunLuRCclxq/qEt5CQD8N0ynKckbIkk0FjW MxEc2uvmq948QHXQY/PiUSQ0aiwJuwHxCCY0mCFwCKVuV1AFhZqWPDJVHYea0+Qp8n04FHGT pejE64uLgpY1MPEIasZIsbxgwB+Tez4cM/bf3r3nm6xARiSwbbZYIPsemgZmi/ABU4WlwE78 GycPBQ/Hzqs5WneX3R1DVy6RUTq/KFlrW+jCE85ywbfd0p6y7+84QIYn9SGRvcaz+lBtGEko jRwWlm02d7XTdyNu2KNZY16ZtUwqBdC3GPd7UlmO4C4arpljRgYehh2uEXn01N2DJ9BmI4kt iFiyg06Mq+e3F5bElHQlZntJr3aLHXz9xGzeubX3F/ZytOf5qYI7rwxtVziuAijEkdq/W9g1 pFZ1H6V55OCCwR3M9q5Xk8x9hV+4bvHby8v44L82Gd2OLW1qyLPndkpRaMkxhumY9ZDIfacD gahdq9ST8OqKeEshx2odkdeZb8Uq/ZyZpP9MaLXhf3OXq4ohj+tgGVZ7Zoo10uN83A5UevUx 9MfxPre2AKbVjD6hVPns8btmIkCaytBewj3gSXiGoNVYbV/OIgRDmL7acG+wNRzg9jnRnNe5 lqiL14cwsa1eAOPYhr23UcDsCZf6Wzigia+wzFuxnslp6ye0SiIyfnvcggDO0ZGXnNrkVb1P IXyhNBQDy3KJ0A50RCi40j93a1Soq9yenLSTUl/dC/zN2h+U6G0u9JueuZ34Ygz+WVSWeW4O xWBT6Ll5gEd2GXlFndfwzYyc3ervI/4llp0kjDVIHF2pXvfMcZ+oHWXrNDVQ/9c2nwMWSR+m z3WLlWmJdC1/MyJmtHIsqiyWnmgWZtabSTwhdnZ623kvSszUUb5xqHu0tT8dGpymTf2zdxrS TnFoF7nb4/n2r77eeNrc090BUPtvs9zG4VwiIw11/RykTARgpSY+2ZCkH+ma4wEn/2mKiNdH nhSkoOGhWqtkFduJX+I2Y/jA3CUw887IsK/fntTwCU2qcZDFKaT6rVA2ypzuFux6wzLMp0f1 n8Qz+Uj7HkCjqQHog0om2+RC7YTEE0eNzHhkQaM7viztr9eeGe2bLX230o0zrXDRPmS5xpRX nr0YMJoESZ278h7dljR3Xvh7oDMdcPKZM4SrwCZ1RzAxbswStp5hr8BgixpPnj4tHsuxrsgj BBg6pq9uZCON2Rn+K/qSg4dLDD+YNkfvy38lasL1NjDxJihR98yf1dDFIutV/+jFyge8OjqJ xrbWiNpsW+VQPLeBVPNsh456S2XVcn0ZzfOdSNel4sHJlHVJVQB0lpMBGxowpRoRlKmz5CzI BUroW5Nrl/g9kkWk70uaEG5CzeE4l75MHBuGP39ZFJX9l0QvR6Kd5PGqLsjRWcHpNr69kSMM jDJPV0XSz5RHBXUXRa8Yv71v5GX+uycTIJSNtPoZrOD4axbXvaMn9e015d+uiyLPYOJN2VjC Psy3gxCW2p4EoLXgWdHTStfjC/LY8OBwXX0siRqssCy9ujqUwPz9MOODbVVK9Bm5xGxh++KK eeRgC9zLTsQ2IkLwDfEz70W3VhajC8LFXHlCbMbqSvEV77dgIdNAhoSeng2OI1N5qM4mAZEP 8LazNX4yv8wj/I4DUtESU20msytYp9vQSn1P1fGCUCXcbWecGeSnIeoOeXlGeYW1bQJ5HjS8 X6BHkTuPyqOjWzsXhGra6RXiT2DeQZZs8e7ewpsDm7qSJTnbAe6OZl5l25To/V8i3XUOGobK TU5fVlKq+ja4Speg/h7XWZc43x3KeisljyD5vXZM4sb9/BrSHcR9aoS8DEhxr1Z4TsRDuRyg zfXp8VyrkuOiOSLwys8FRYIrz9KgMSEtENuOOPf+4UKChOmtFodqG6XDRoNvd5sDNbi7rtRx tb4n6X2MD5e8tjQ8KP04uDZMtiOLHs4LBevEz6GVGPtrBaxOGXWlhcYnLeX/3yR6JczrJTt3 pwDVu0DPLTaPv4AEE15HcUfLdF8XmF9+YM= IronPort-Data: A9a23:mofm+aI/PNLfHkWZFE+RJ5MlxSXFcZb7ZxGr2PjKsXjdYENShjxTx 2seCzuFM/+PYGX8ftFzaozgpEJQ6pKAxoRiTQsd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefSLlbFILas1hpZHGeIcw98z0M68wIFqtQw24LhXVrQ4 YqaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhpcpt4 etDj4WKSCwLH/fHgcJBUBhSHHQrVUFG0OevzXmXq8GXxlydNneqxvxvCAc5NIsU+6BxDH0mG f4wcmlSKE/bwbvmm/TiG7QEascLdKEHOKsTs3dhwDWfB+srR4LHQo3H/8VRwDYpm80IFva2i 88xNWM2PEuRO0Un1lE/V6oAt8qnoFPEdWdI83eOlIg7uGXKw1kkuFTqGICEIoPWGJ09clyjj mnP+mC8BhABKPSE2D+d+zStgPXOlGX1Quov+KaQ7PNuiUzIg2BVDRQXUR20qP+1iwi4Vs43x 1EoFjQGl7Iu3XKldMDHXjaagSSPpzhAWNtaHLhvgO2S8Zb87wGcD2kCazdObt06qcM7LQDGM HfXx7sF4hQy4NWopWKhGqS88WPiZHhPRYMWTXVfFltaizX2iNhr1kqnczp1LEKipvPPcQwcL hiQoSw3lu5WgYgO3qS/u1/OhT6t4J7EUmbZBzk7vEr6t2uVh6b/PeREDGQ3C94cfO51qXHd4 RA5dzC2trxmMH10vHXlrB8xNL+o/e2ZFzbXnERiGZIsnxz0pSP+J9sJvGomeh4yWirhRdMPS BGJ0e+2zMELVEZGkYcsC25MI5hznPi8fTgbfqmINoQmjmdNmP+vpnA2OhLNhwgBYWAjmKczO N+AeN3EMJrpIfoP8dZCfM9EieVD7nlmmwv7HMmnpzz6j+b2TCPLGN8tbQvfBshkvfjsiFiEo 753aZHWoz0BC7eWSneMruYuwaUidiVT6Wbe8JAMKYZu42NORAkcNhMm6eh8ItU8wfoMx7igE 7PUchYw9WcTTEbvcW2iAk2Popu2NXqmhX5kbyEqI3iy3H0vPdSm4KsFLsFlcKM9/fBi1ON5C fIFIp3SDvNKQzXB2jIccZik9dw+LE7221rWMnr3eiU7cr5hWxfNpo3ucDzp+XRcFSGwr8Y// +Ct21qDE5oOTghvFujMb/erww/jtHQRgrsoDUbSONBPeVzx/c5hK3Wp3PMwJsgNLzTFxyebj l/GXU9C+LeV+4JsqYvHn6GJqYutAtBSJEsCEjmJ96uyOAnb4nGnnd1KXtGOcG2PT2jz4qijO bhYwvygYv0KmFFG79h1H7pxl/ls/dbrrq4BiwgiGXzKaxKkA7VsIz+A0NUW7v9BwbpQuA2XX EOT+4gAZu/YZZy7SVNBdhA4aumj1O0PnmeA5/oCIHLlun198o2HZkMObROCvypQceluO4Q/z OZ84sNPs16jigAnO8qthzxP8zjeNWQJVqgq6sMADInwhlZ5w11Oe8aHWDX75JieMJBAdEwjI zvSi6PEi7UawEfeKiJhGX/I1OtbpJIPpBEblgBYdgnWxIPI1q0twRlc0TUrVQALnB9J5OJEJ TY5PUNCJZKIo2Viiv9FUj3+AApGHhCYpxb8kgNbiG3DQkC0fWXRN2lha/2V9UUU/m80kuK3J 11EJLIJkAoGff0dGgMoVEpsuqemQZp0/wzG3s+uGciEWZ83fVIJR0NoiXUg83Pa7QEZ3SUrZ tWGOM59c7fyKS8JvqB9AInyOXE4VkWfPGIbKR1+1PphIIwfEQ1eHRCDMVq4ZsJUOvGM+k/Q5 wmC4C5Qf0zW6RtiZQz3yULBz3GYURLpCBc/lmvXGFM7 IronPort-HdrOrdr: A9a23:B/YC+6kjWf9pC+vDH8AEI8VM+tbpDfIh3DAbv31ZSRFFG/FwWf rAoB0+726StN93YgBFpTngAtjkfZqyz/RICOUqUItKGTOGhILKFvAB0WKB+VPd8kTFn4Y36U 4jSchD4bbLfDtHZKjBjDWFLw== X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.91,302,1647298800"; d="scan'208";a="41187900" X-MGA-submission: =?us-ascii?q?MDEXfNk97UeJE6djMnTn6GzBX4j3ULrfNoB6zG?= =?us-ascii?q?Orz9nVQ62iyX4isAMAojoAmhlPwLqizQjOowXJjmu6HgGRUWrsg4ka09?= =?us-ascii?q?wojo1QJba5U8OvRobPhL2qYgprq3bWtsOqKmmTYIjLk5MNPTI2sYCUzH?= =?us-ascii?q?ryDxRW4f/UDeCos5Vo4YDyHQ=3D=3D?= Received: from relay3-d.mail.gandi.net ([217.70.183.195]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 15 Jun 2022 16:26:01 +0200 Received: (Authenticated sender: daniel.buenzli@erratique.ch) by mail.gandi.net (Postfix) with ESMTPSA id E0F1560004; Wed, 15 Jun 2022 14:25:59 +0000 (UTC) Date: Wed, 15 Jun 2022 16:25:53 +0200 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Kenichi Asai , Gabriel Scherer Cc: caml-list@inria.fr Message-ID: In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: Re: [Caml-list] string_of_float (0.1 +. 0.2) Reply-To: =?utf-8?Q?Daniel_B=C3=BCnzli?= X-Loop: caml-list@inria.fr X-Sequence: 18800 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: On 15 June 2022 at 16:07:58, Gabriel Scherer (gabriel.scherer=40gmail.com= ) wrote: > Kenichi, I don=C2=B4t understand what your own constraints, but =20 > in general I have the impression that =22float=22 is better than =22str= ing=22 =20 > to represent double values used for computation. If there a reason not to do what Gabriel suggests you can serialize a bit= -by-bit accurate representation of floats=5B=5E1=5D by using =60=46ormat.= sprintf =22%h=22=60. This format can be input again with float=5Fof=5Fstr= ing. Daniel =5B=5E1=5D: There may be edge cases with nans since those will all be ser= ialized to the string =22nan=22 and input back as OCaml's =46loat.nan val= ue.