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 25FA65D5 for ; Wed, 15 Jun 2022 01:59:59 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:mime-version:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=Cx8m1F4yWmRIZ3K0p7B02cvJmQnOP06q28wg/151xJA=; b=oV7uLEwZZEcL55s2yJrpuFUT4wwTJ74rs6RegjPutAB8FHzeNjjuj6AI M/Rgw72z/JOxaIwxuIWp+EDSLmB/4EmqnjtBAysRj2493iIzl2SUmM1+/ pSn3lTRiOkfdvAYx9Rk2YpF4rXT4K2h0bP/iBD6xXv+c6DZbL8Ky1B6qw s=; 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,300,1647298800"; d="scan'208";a="41060873" 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 03:59:58 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A8F69E0038; Wed, 15 Jun 2022 03:59:57 +0200 (CEST) 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 D7FC6E0038 for ; Wed, 15 Jun 2022 03:59:53 +0200 (CEST) IronPort-SDR: fqmH4l+bxvFTp7Vk3gNL8Njyn3jo0rzszkQTwqeleYOkwy1baMgdFmSVkrluVbC+cDuh+I2g+P M8Mp/Js67hEL0vDGMjpZwaLt1/6NR5ALa0q83Y8VBZ0H5VhXg2QQPWCO2ZxO5G2rYXSgrlSfyH lmBjNGsZ5ZivG4J/d0hnvRA4cFm6/7A2MD2pqUN9T6pqV6FOWljUwzbEALn5PNiQvAu8U+b2AR +UDKN3/QYs05CFF15x5gaeas27iS2Ary25CqRKg3LD0Jw6nnLNfEl8/4S3AN8HXRZJy3p3Uu3v 5XklvRJ8cjoIFj9Fyw+1mtPr X-IPAS-Result: =?us-ascii?q?A0AtAwDXO6li/wpAQYVaHAEBAQEBAQcBARIBAQQEAQFAg?= =?us-ascii?q?U+CJAeBUS0EC44Sh26fBgIJAQMBCwEBQAIEAQGKSwIdBwEENBMBAgQBAQEBA?= =?us-ascii?q?wIDAQEBAQEBAwEBBQEBAQIBAQIEBAFWECInBl4GZASBSwSBdAtBgjUihAQoO?= =?us-ascii?q?XckAQUBV4V0AgGgXoEEQoswgTOBAYddJk6BLRKBK482gg2KDoNAgi4EmGw5A?= =?us-ascii?q?0c0EoEhcQEIBgYHCgUyBgIMGBQEAhMSUx0CEgwKHA5UGQwPAxIDEQEHAgsSC?= =?us-ascii?q?BUsCAMCAwgDAgMuAgMXCQcKAx0IChwSEBQCBBMeCwgDGR8sCQIEDgNDCAsKA?= =?us-ascii?q?xEEAxMYCxYIEAQGAwkvDSgLAxQNAQYDBgIFBQEDIAMUAwUnBwMhBwsmDQ0EI?= =?us-ascii?q?x0DAwUmAwICGwcCAgMCBhcGAgJvCiYNCAQIBBwdGwkQBQIHMQUELwIeBAUGE?= =?us-ascii?q?QkCFgIGBAUCBAQWAgISCAIIJxsHFjYZAQVdBgsJIRwpEQUGFgMjcwVIDyk1N?= =?us-ascii?q?jwvIRsKgR+dYY82B5RmnjuDWIQYm3oxllMMkgEtlj+iIIRqAgoHBhAjgVUlg?= =?us-ascii?q?VkzGggwgyRNAQIBAg0BAgIDAQIBAgkBAQKcfDNuAgYLAQEDCYVEJhOJAAEB?= IronPort-PHdr: A9a23:DeIgiRxXTgMMnsLXCzLmwVBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z heZvK81xwOWFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkelM8NlBYhCsPWQWfyLfrtcjBoV J8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZpO+j5AIHfg9q52uyo5pHffRlEiDWybL5wM R67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84T aFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8 qhrUgflhikHOTAn7W/ZicN/g75Grx+6uxxz35TZbJ2JOPZiYK/Qe84RS2pbXsZWUixMGoayY JUJD+oAIelYr4j9rEYSoBulHwasBf7kxzhSiX/tx6I60v8sEQDd3AA6GNIBrHTUo8/vOKgIT e+51qvIzS3aYv5QxDzy55TGfAo7rvGQQbJ/b9DRyU83Gg7Gilidq5HpMi6W2+kNsmWX8uttW O2hhWAotg19viWjy9kjhIXVgo8Z10zJ+TllzIooKtC1VkB1bMC4HJZSuC+XMZZ9TMA6Q2xwp So3xLMLtYS6cSUK0pgqxhHSZ+aaf4SU+h7vSvidLSliiH55Yr6zmhe//Ee6xuD4WcS51ktBo DBfndnWrH8N0gTe6siZRft5+UeswTiO2B7I5e1eIEA0jrDXK5k9zb4wjJUfq17METPslEX0l K+abkQk+u625OT7erjqu5GROoFuhgz/MqkigM2yDOsiPgQTQ2SX4eG826fi/U39TrVKlPo2k qzBvZ/APsQUvK+5DhRU0oY48Rq/CCup0NQCknUdNl1KZAiLj4rxO13WJvD3Fu+wg06wnzdz2 /DGIrrhD43QInTbirfuYa5961JAyAo01d1Q+4hbCrQFIP7qXk/xtcfYDgMiPgyvw+fnDc192 ZkEVWKOBK+ZKqLSvkWS6uIhOenfLLMS7T30Lvxg4//1kVc4n0UcdO+nx8g5cne9S9drJUSSY Xukq8wIEC9etxE3TcTrkxuFWj5aIX+5GaAksGJoQLm6BJvOE9j+yIeK2z22S8U+jgFuD1mNF SytbICYQ7IXbzrUJMZ9kzsCXLznSok71BjouhWpg6F/IL/y/SsV/YnmyMAz//fawBgp/D1cD t/b1GqNRid9lSUKX2x+x7hx9HR00UzLyq1km7pdHN1X6elOV1IzLpfd5+1hTdf5WguHd9zPS k71Cs6+D2QXSdQ8i8QLf147G9imiUXb2DG2BrYOi7GRLIM5+OTdxD72LMZ0jX/Nkqs557U/a u1IM2Duxqt29gyIQpXMj13cjKGyM6IVwC/K8m6Hi2uIpkBRFgBqA+3DWjgEa03aoM6chAuKR qKyCbkhLgpKyNKTYqpMZNrziFxaRfDlcN3AamO1km20CF6G3LSJJIbtfmwc2m3aBi1m20ga5 n+HHQklQCCqo2uYBTcoF0quK0Lg/O9iqW+qG1cuxlLCZElg2rypvx8N0KXHELVNg/Ra5GF48 2YRfh71xd/dBtueqhA0eaxdZYh4+1JbzSfCsBQ7OJW8Lqdkj1pYcgJtvkqo2Q8kb+cI2cUss n4uyxJ/bKyC11YUPTqD1JHYO6aRLWLy9VamYOjUwhuNtbTesrdK8/k+p1j56UugDUMj23R8l d5e03La756MDhJYAtrhF00w8RZ9vbTTZCIwspjV2XNbOq6xqjbe2tgtCYPJ0z6YdsxEeOOBH Q72SIgBAtS2bfctgx6vZw4FO+Zb8Og1Odmnfr2IwvzjMOFllTOgxWNJheI1mkuX/itUS/WO2 J0FyreR1U2FT3/wgUygvcb+hY1fLWhJRSzhlG66WMgIPuV7Zs4TBH2rItGry9kb5dalQHNe+ FO5RhsH1MKvZRuOfgn41AxU214QpC/vki+5wjpo1jAx+/PEh2qQnqK8KFxeYj0uJiEql1rnL ImqgspPWUGpa1Nsjx65/QPhwLAdoq1jLm7VSEMOfi7sLmgkXLHj09jKK8NJ9p4stj1aFeqmZ lXPALfmqhoy0jilGGBezXYyfHeoot+q+n4ywHLYN3t1oHfDLIt53h7ezN3HA/la3jNATSI+i yGdVRCsetKu+9uTjZLKtOuzAnmgWpNkei7u1YqctSG/6D4PY1X3j7Wpl9bgCwR/zT7j2owgS 3DTtBilKNqjx+GgPOlgZEUtGFLs958wBNRlioVp4fNYkXkcjZGI8XdVmHzrNMUd1qX5Y34AQ DcKx5je5w2t2VU/fCvSnMSnCzPDno04P57hOCsA0yY5paimEY+y67pJ1Wtwq1u89kfKZORl2 ywa0b0o4WIbhOcAvEwsyD+cC/YcBxsQOyukjBmO492kyccfLG+ybbi90lZ/ltG9HfmDpA9bQ nPwZpYlG2d58Mx+NFvG1HC75JvjfZHcatcatxvclBml7aAdMJUqiv8DnjZqI0risHdjyvV9i hdu1Nezt86FMyQl/a60BAJZKiygZ84X/WKI7+4WlcKX0oazW5R5T2xQB922ELT2THRL7aeCV U7GCjA3p3aFFKCKGAae7BwjtHfTC9WwMGnRInAFzNJkTR3bJUpFgQlSUi9p+/xxXg2s2sHld 190oz4L4Vut4BJXw+NANgK5VWzfrUGhYXE2UNLMSXgephEH/ErTPcGEu6hrGDpE+5S6sAGXA nOWbUJJFicOUUyNQVnoeLu2r4qlkaDQFq+1KP3AZq+LoOpVWqKTxJ6h5YBh+i6FKsSFOnQK5 xgT21EFWnt5EoLQkHMNU35P/8oiR8+A4hC3+iQxp8v58uy5AWoHBKOQBrEUMM4p/Bu2iOGKP KiSnHQhQQs= IronPort-Data: A9a23:RbLuwqOsHeXw0arvrR2BkcFynXyQoLVcMsEvi/4bfWQNrUog0mZSm GUdWz+GO/mJNGr3c4sibImy9EtXv5HUn9RnTXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8kk/vgqoPUUIYoAAgoLeNfYHpn2EsLd9IR2NYy24DnWl/V4 rsenuWGULOb824sWo4rw/nbwP9flKyaVOQw4zTSzdgS1LPvvyF94KA3fcldHFOkKmVgJdNWc s6YpF2PEsw1yD92Yj+tuu6TnkTn2dc+NyDW4pZdc/DKbhSvOkXe345jXMfwZ3u7hB3WjolV2 f59h6araiwWIonBus42YkJHRnQW0a1uoNcrIFCgvMbVzlaAdHDsyrNnBwc0JeX0+M4uWjoIq 6FedmxLN0jra+GemNpXTsFlnc0iBMjweoQUungmxDqfD+5OrZXrGvuVtYYAg2lYasZmIemAe cFedzVWQFfvbTJvC3cmKqhgk7L97pX4W2cB8w7E/vBfD3Lo5Ad41byoNNvOZvSRVMBNlwCZo HjH9iL3GHkn2Me31jePtHO3wOjEnSq9UYlUFqXQGuNWbEO7mX1KLAw9ZWmButqStVKaVvB1A H1P5X97xUQtz3CDQt74Vhy+hXeLuB8ARtZde9HWDynXk8LpDxal6nssFWMeMox83CMibWVxh wDTxoOB6SlH6eX9dJ6LyluDhRGKUcT/BVMFfi8FSAJtDzLL+d5ry0yXFowL/EKdstr2CDaY/ txnhDczjfMSlogM3KWyu1nMxTC0znQocuLXzlmMNo5GxlonDGJAW2BPwQKChcus1K7DEjG8U IEswqBzLIkmVPlhbhClTuQXB62O7P2YKjDailMHN8B/qmn3oCf/J98Kum8WyKJV3iAsJGSBj Kj75F452XOvFCL2MMebnqrhVJpwnfi4fTgbfqCFMoUmjmdNmP+vpng1OR/LhQgBYWAqmL0+P pGSdY6tC20GCLh60Df+QOlV0LklwTo7zH/STouT8vhU+ef2WZJhcp9caAHmRrlgvMu5TPP9r I4Hb6NnCnx3DoXDX8Ug2dFIcApacylibX00wuQOHtO+zsNdMDlJI5fsLXkJIuSJRoxZybXF+ G+TQEhdxAatjHHLM1zROHF4LrTkXZ85pHl9PzR1ZQSk3H0qYICO6qYDdsJtIuJ4pbE5laZ5H 6sfZsGNIvVTUTCZqT4TWpnKqtAwfhqcgw/TbTGuZyIyfsI7SgGQoo3kcwLj+TMgFC2yscdi8 bSs2hmCGsgCXEJlB8bfLvukiVGp5CBPlOV3VkrOA99SZES1qtcxdH2s1KdvLphVexvZxzac2 wKHOjsipLHA890v7d3EpaGYtIP3QeFwKUptGTWJ57iBMySHrHGoxpVNUbrTcD3QCDH09aGla bkHxv3wKqRYzklHucx9CPBsxqI3odLk4b1Cl1w2EHLOZlWtK7VhPnjfh5YU6fwQnOcBtFvkQ F+L9/lbJa6NZpHvHmkREwx5PO6N4vcZx2vJ5vMvLUSmvyJ6oOidXUNJM0XegSBRNuIqYpwoy 6Ego4gR4Ay2zBMhdNSe13gG+2OJJ30GcqMmqpBDWtCw1Vt2kAkabMyOEDLy7bGOd85IbBsgL AiUs6ye1b5S8UzPLigoHn/X0OsB3pkDtXimFrPZy4hlRzYEuhM24PGV2Ss6REJU1VNA2OJ6f GFgcU9tTUlLE/GEm+AbN11A2SkYbPFaxqA141oS0mrST0DuX2eLLnVV1SOl4hUC62wFFtRE1 Ojw9YsmOAoGuOnwxW01Uk5s7fXoC95pnuEHdAZLAOzdd6QHjfHZbmNCqIbGR9YLwS/8uaEfm dRXwQ== IronPort-HdrOrdr: A9a23:GXUFKq7fH4bBeIMRAgPXwMvXdLJyesId70hD6qlUc20sTiX4rb HWoB11726WtN98YgBDpTniAtjnfZq/z+8T3WB5B97LN2OHhILCFvAH0WKN+UyEJ8Q8zIJgPG VbHpSWxOefMbGyt6ma3DWF X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.91,300,1647298800"; d="scan'208";a="16781076" X-MGA-submission: =?us-ascii?q?MDEERrCzcp9JjVVwDo2XvX9QnrPrYXndIPaxEs?= =?us-ascii?q?KhUxHDxmHtYQRsSvf7Axn1N7nf+IFM51snC7uon/T/MeHg8EQcWK50f7?= =?us-ascii?q?J7RRB8B5KXXH0tCaCb3tpSYy38lAbaSBEGooUryTj9trObTlY0A4EPam?= =?us-ascii?q?vSnvcaeJXkdYRVqrHoKAcCKQ=3D=3D?= Received: from web.is.ocha.ac.jp ([133.65.64.10]) by mail3-smtp-sop.national.inria.fr with ESMTP; 15 Jun 2022 03:59:52 +0200 Received: from mail-pj1-f72.google.com (mail-pj1-f72.google.com [209.85.216.72]) by web.is.ocha.ac.jp (Postfix) with ESMTP id 0B753360182 for ; Wed, 15 Jun 2022 10:59:48 +0900 (JST) Received: by mail-pj1-f72.google.com with SMTP id f2-20020a17090a700200b001e6896fbc14so4391845pjk.2 for ; Tue, 14 Jun 2022 18:59:47 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:date:from:to:subject:message-id:mime-version :content-disposition; bh=Cx8m1F4yWmRIZ3K0p7B02cvJmQnOP06q28wg/151xJA=; b=Jc+WbkNJ7ck9Ep+tekP+N4+RyUhQrasAD4fd7UTxZCS7/FtrOOR41Wbgr+fJVF47AN LPyX7gzvsvm3Ew81+8BTlR4IMeDgyTpY8lQY4lz2m8k1tl2CJ03OXySV+ymaq4Z/pLG7 v/+fgS0OmdPLgxvK7lnz+ZFzKvpfvVrWWPr9DzMf9KdGMTCpp6iSA/LwAlfyNuZPNz3W wxC96BBtRq333icOY5v2O8KIufXQZkT+CN07/8hmZin68dUQJQFHQe02aWg06NvBnBoa 899aM7ThBQoSFzYFyIkpAPgWvHtp/OFajnSx2oCoOPN5jmsfWHpGilTNh/oviWwnlo3T syoA== X-Gm-Message-State: AJIora+gHpkx772W3TkwDPwN8TxmecurIDfPxXukV5Wf5wZ/as9c3uc2 ZwDHfmXFzpCjjG2r+Q8A8tsLr0gglyMiYtiqeAEwXEobc6UHqTZjm6I0SzfC5NLlvvqrFHv+nNk HXcbOcDMWmoE3 X-Received: by 2002:a17:902:7005:b0:163:ffe7:32eb with SMTP id y5-20020a170902700500b00163ffe732ebmr7073259plk.18.1655258387131; Tue, 14 Jun 2022 18:59:47 -0700 (PDT) X-Google-Smtp-Source: AGRyM1sxPDFlhzo+ZR93DROcwz0l+ek4mism8/0r3uyu+lcQzknfpCeauc92Wpv8R5NVvUQ2SN6I6w== X-Received: by 2002:a17:902:7005:b0:163:ffe7:32eb with SMTP id y5-20020a170902700500b00163ffe732ebmr7073247plk.18.1655258386871; Tue, 14 Jun 2022 18:59:46 -0700 (PDT) Received: from localhost (KHP222000164094.ppp-bb.dion.ne.jp. [222.0.164.94]) by smtp.gmail.com with ESMTPSA id v10-20020a17090a520a00b001e305f5cd22sm282677pjh.47.2022.06.14.18.59.46 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 14 Jun 2022 18:59:46 -0700 (PDT) Date: Wed, 15 Jun 2022 10:59:38 +0900 From: Kenichi Asai To: caml-list@inria.fr Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Subject: [Caml-list] string_of_float (0.1 +. 0.2) Reply-To: Kenichi Asai X-Loop: caml-list@inria.fr X-Sequence: 18793 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 OCaml 4.12.0 on M1 mac, I got: # 0.1 +. 0.2;; - : float = 0.300000000000000044 # string_of_float (0.1 +. 0.2);; - : string = "0.3" Why don't I obtain "0.300000000000000044" here? Here is some background. I am writing an OCaml interpreter that mimics most part of the original OCaml interpreter. In the OCaml interpreter, 0.1 and 0.2 are represented as Pexp_constant (Pconst_float ("0.1", None)) Pexp_constant (Pconst_float ("0.2", None)) When I add these two numbers, I would have to execute let a = float_of_string "0.1" let b = float_of_string "0.2" let c = a +. b let d = string_of_float c and then return Pexp_constant (Pconst_float (d, None)) At this point, however, since d is "0.3" instead of "0.300000000000000044" (even though c is 0.300000000000000044), I cannot return 0.300000000000000044 as a result. How can I mimic the OCaml behavior? Sincerely, -- Kenichi Asai