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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 02A117F98F for ; Wed, 2 Aug 2017 07:46:41 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vietlq85@gmail.com; spf=Pass smtp.mailfrom=vietlq85@gmail.com; spf=None smtp.helo=postmaster@mail-yw0-f178.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of vietlq85@gmail.com) identity=pra; client-ip=209.85.161.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vietlq85@gmail.com"; x-sender="vietlq85@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of vietlq85@gmail.com designates 209.85.161.178 as permitted sender) identity=mailfrom; client-ip=209.85.161.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vietlq85@gmail.com"; x-sender="vietlq85@gmail.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@mail-yw0-f178.google.com) identity=helo; client-ip=209.85.161.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vietlq85@gmail.com"; x-sender="postmaster@mail-yw0-f178.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Axho6NxKMdWo+pl82ItmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRLv3xwZ3uMQTl6Ol3ixeRBMOAuqIC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9ZDeZwZFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJDUcZfVyJPDICy?= =?us-ascii?q?YZYRAeUdJutXtZXxqkEUoBeiGQWhBuXiwSJIiH/s2q061vwsHg7H3AM+A9IFrX?= =?us-ascii?q?Lao8voP6oVT+C1zbfHzSnHb/NP2jrw6JPFch8kof6WXLJwddDdxlUoFwPAl1id?= =?us-ascii?q?r5HuMTCN1ukVrWSX8+5tWfishmMnsQ19vzmiyto2hoXUhI8YyVbJ/jhjzokvP9?= =?us-ascii?q?23Ukt7bMakEJROsyGaMJN7QsY4TGFpvCY2070HuJCncCQTxpQr2hzSZv+df4iH?= =?us-ascii?q?5RLjU+mRITNmi35/ZL2/gBOy/VChyu36SMa0zE5HojRZntTIrHwA1Bze5tKaRv?= =?us-ascii?q?Z840utwyuD2gLQ5+1cJEA7j6vbK5ovwr4qkZoTtFzOHjH3mErokK+Wclwk9+uo?= =?us-ascii?q?5un8bbXmo4WTN45wig3kLqsuncm/DfwiMgcSR2ib5fi81Lr78ELlWrpKi/k2nr?= =?us-ascii?q?DdsJDbPsQburW0AxRV04Ym8xawFS2q0NUenXkdLVJKYgiLj4bzOwKGHPetIf65?= =?us-ascii?q?glmopx3/weLCP/W1DpzLL3XH1r38cLBv7090xRApxMxe/o9ZTLoBdqHdQEj04e?= =?us-ascii?q?LZAwNxFwH8l/jmBcl5z9NDcW2KC66ddqjVtAnbtaoUP+CQadpN637GIP8/6qur?= =?us-ascii?q?1CdhlA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DAAgAJZoFZh7KhVdFeHQEFAQsBGQYMh?= =?us-ascii?q?QAnB4UkmGaBbIkjhECKPIVHAoQkB0IVAQEBAQEBAQEBAQESAQEBCA0JCCgvgjM?= =?us-ascii?q?kAYJBAQICASMdARsdAQMBCwYFBAEGNwICIgERAQUBHAYTihYBAw0Iowc/jAqCB?= =?us-ascii?q?AUBHIMJBYNcChknDVZHgnIBAQEHAQEBAQEbAgYSgxaCAoZTiAaCYQWBLQEBnj4?= =?us-ascii?q?IAQGBUAqST5JBlDEUH4EVNYEsd14aXIQSDxAMgWg/NohjAQEB?= X-IPAS-Result: =?us-ascii?q?A0DAAgAJZoFZh7KhVdFeHQEFAQsBGQYMhQAnB4UkmGaBbIk?= =?us-ascii?q?jhECKPIVHAoQkB0IVAQEBAQEBAQEBAQESAQEBCA0JCCgvgjMkAYJBAQICASMdA?= =?us-ascii?q?RsdAQMBCwYFBAEGNwICIgERAQUBHAYTihYBAw0Iowc/jAqCBAUBHIMJBYNcChk?= =?us-ascii?q?nDVZHgnIBAQEHAQEBAQEbAgYSgxaCAoZTiAaCYQWBLQEBnj4IAQGBUAqST5JBl?= =?us-ascii?q?DEUH4EVNYEsd14aXIQSDxAMgWg/NohjAQEB?= X-IronPort-AV: E=Sophos;i="5.41,309,1498514400"; d="scan'208,217";a="233462866" Received: from mail-yw0-f178.google.com ([209.85.161.178]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Aug 2017 07:46:40 +0200 Received: by mail-yw0-f178.google.com with SMTP id u207so22776679ywc.3 for ; Tue, 01 Aug 2017 22:46:40 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=dAMhgmmngv9/VzR2qd+7L52YlHw/5/fMirPV1Oqgs8g=; b=BD7qwNoWDgrGx3Oqo7b+tVXKW2BlpO/DSoUmIGirevw+RQtD+d8mi+JU2Y1jY30Kdy fYXCMjuzDPksHotkRcNN9x3jvO18Y/Uqb8Ajtif0xYyA15qgEuMq6MSqnJGq/kQyJgDT HTbPAXE0yLTpQlMLrduRGkt+9ZVK3npbZx+iESpfJPVo+HZgmlaY6Yj1e64j+vlTPgSX QWwp6ueccbRBtKdrw8LboT1RVhlqc6nuQjiBjCvoP0+LIFFyKXciv8oNSh2M+hromUz4 M/otxpCDU7MSbDctfbY1tIjYHedpG9AD7N9qUIOKS4atSsF112SIZwXxR4H1rhrotO+O 0hiA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=dAMhgmmngv9/VzR2qd+7L52YlHw/5/fMirPV1Oqgs8g=; b=pvtu4LPShmp913tnV34erjPvb1UY8lPZluf46kK0lS+4vMPbtNlkbB6tuGnLOneyUf FgW2Pxu+C8fGXxUuBaC7QMqmXxMaGlAMc6OMMC4716Vn26k8jZGzNZU9o47RT5UPr691 BANkZsZh0+govmSK7O41S+CKSWb93ZMoLusRG7G6P1+25WsrXDGCLnDIWd119wKkUj99 zJHR0W86LRJcolJVe2MG6UT1dsaASewXV6e4yMOzXwDdkt4Du7fV/Z8IxrKYoXtryiz5 q7Qy9VsVA0oBtF2TO+6abXcerZ+2F5PdCqKZS8F9fGf8kCU1ZELA8DKkvLcfHhSRX03V JoAw== X-Gm-Message-State: AIVw110qzO2gMNEYNoHR4yrqX5hXqz8YOIHiVdCYewytf3RIP78Nfn7S JkF535mqMlxxIb3jOuE+YccmL+98xAss X-Received: by 10.129.172.19 with SMTP id k19mr16340881ywh.264.1501652799393; Tue, 01 Aug 2017 22:46:39 -0700 (PDT) MIME-Version: 1.0 Received: by 10.129.164.76 with HTTP; Tue, 1 Aug 2017 22:46:38 -0700 (PDT) In-Reply-To: References: From: Viet Le Date: Wed, 2 Aug 2017 06:46:38 +0100 Message-ID: To: =?UTF-8?Q?Daniel_B=C3=BCnzli?= Cc: "Soegtrop, Michael" , "caml-list@inria.fr" Content-Type: multipart/alternative; boundary="f403045e4818af18de0555bec9c0" Subject: Re: [Caml-list] Float precision in OCaml --f403045e4818af18de0555bec9c0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Thanks everyone for interesting discussion! On 1 August 2017 at 19:05, Daniel B=C3=BCnzli wrote: > > Said that, one can define a mapping from floating point numbers to usual > decimal string > > representations and back such that each floating point number results in > a unique string. > > It is just quite tricky to get it right without extended precision > arithmetic, though. > > And since you have no control on which binary to decimal codecs JSON > parsers are going to use you have absolutely no interoperability story at > that point. > > Best, > > Daniel > --=20 Kind regards, Viet --f403045e4818af18de0555bec9c0 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Thanks everyone for interesting discussion!

On 1 August 2017 at 19:05,= Daniel B=C3=BCnzli <daniel.buenzli@erratique.ch> = wrote:
> Said that, o= ne can define a mapping from floating point numbers to usual decimal string= =C2=A0
> representations and back such that each floating point number results = in a unique string.=C2=A0
> It is just quite tricky to get it right without extended precision ari= thmetic, though.=C2=A0

And since you have no control on which binary to decimal codecs JSON= parsers are going to use you have absolutely no interoperability story at = that point.

Best,=C2=A0

Daniel



--
Kind regards,
Viet
--f403045e4818af18de0555bec9c0--