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 E2CB17F98F for ; Tue, 1 Aug 2017 20:05:52 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=31.170.123.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=mailfrom; client-ip=31.170.123.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.webfaction.com) identity=helo; client-ip=31.170.123.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@smtp.webfaction.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A33hSnhaULSd0mJlRMZD1Kuf/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8qzbnLW6fgltlLVR4KTs6sC0LuG9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQtFiT6+bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjA38G/ZlM9+g6BVoBy8oBJwzJLbbo6IO/dlYqPdZMkXSXZbU8pNVSFMBJ63?= =?us-ascii?q?YYsVD+oGOOZVt4fzqEEIrRu/GwasAPvgxyJUnn/w3Kw61+UhGhzB0QM9Bd0Otn?= =?us-ascii?q?XUo8vxNKsISu+10bfHzTPCbvNS2Dfw85bHcgo7of6WQbJwcNPRyVQxGA/fklqQ?= =?us-ascii?q?qZXoMjWI3eoOq2iW9+RtWf+1h2I6qQx9viKjytoyhoTHnI4Z117J+CphzIooKt?= =?us-ascii?q?C0VVR3bcOqHZZRrS2WKZd6Tt44T211uCs3y7sLsoOhcicQ0pQo3RvfZuSHc4eW?= =?us-ascii?q?5hLjU/6cISx9hHJ5YLKznRiz/la7xe3yTMa7zEpKritCktnKrHwCyxvT6s2fRv?= =?us-ascii?q?t8+EeuxyqP2hjd5+1ZO0w4iKjWJ4I7zrItiJYev17PEjL4lUj5lKOWc18r+ums?= =?us-ascii?q?6+TpeLXmoZqcOpdphQ7kNKQum9KwAeAiPgcVQmiU5+K81bzn/U34W7hFkOc2kr?= =?us-ascii?q?PDv5DGJMQbv7O5DBFP3ok/6xazFy2m38gAnXkbMFJFfwqKgJTzNFHLJPD0FPO/?= =?us-ascii?q?g1W3kDd33P3GJb3gApDVLnfZirvhfLB961RdyAUp19xf6YhUWfk9J6fIXUL+qM?= =?us-ascii?q?bfFlsOFg2/w+/qDJ0p04IVWWuCBumCN67drUWP/souJfWBYMkevzOrb7Ab5vPy?= =?us-ascii?q?xVs00QsDfKS12YJHNVi3G/1nJwOSZn+6xp9LGm4Puk86Tff2oFyESz9aIXioFe?= =?us-ascii?q?po7Tg+DMeiDJzfboGrmr2ImimhSM54fGdDX3yFF3blc7Kuz/EebCPadsNolD0J?= =?us-ascii?q?Uf6rVoInxxWvnALg0bN7L/PJ92sTtcSwh5BO++TPmERqpnRPBMOH3jTVQg=3D?= =?us-ascii?q?=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DvAABHwoBZgIZ7qh9eGwEBAQMBAQEJA?= =?us-ascii?q?QEBFgEBAQMBAQEJAQEBhQCONXOQVSKWDYIShUcChGQYAQEBAQEBAQEBAQESAQE?= =?us-ascii?q?JDQkIJjGCMyKCQwEBAQECASNbCwsaAhgOAgJHEAYBijkMr0KCJotdJoELgh2FZ?= =?us-ascii?q?YJwiAYrgjYFn3eBApUcAYkvhxyVeR+BQoFVhRccgWmLIwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DvAABHwoBZgIZ7qh9eGwEBAQMBAQEJAQEBFgEBAQMBAQE?= =?us-ascii?q?JAQEBhQCONXOQVSKWDYIShUcChGQYAQEBAQEBAQEBAQESAQEJDQkIJjGCMyKCQ?= =?us-ascii?q?wEBAQECASNbCwsaAhgOAgJHEAYBijkMr0KCJotdJoELgh2FZYJwiAYrgjYFn3e?= =?us-ascii?q?BApUcAYkvhxyVeR+BQoFVhRccgWmLIwEBAQ?= X-IronPort-AV: E=Sophos;i="5.41,306,1498514400"; d="scan'208";a="285756107" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([31.170.123.134]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Aug 2017 20:05:52 +0200 Received: from hehey.local.mail (141-136-201-156.dsl.iskon.hr [141.136.201.156]) by smtp.webfaction.com (Postfix) with ESMTPSA id A4CF760C083B1; Tue, 1 Aug 2017 18:05:48 +0000 (UTC) Date: Tue, 1 Aug 2017 20:05:47 +0200 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: =?utf-8?Q?Soegtrop=2C_Michael?= , Viet Le , "=?utf-8?Q?caml-list=40inria.fr?=" Message-ID: In-Reply-To: References: X-Mailer: Airmail (442) MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: RE: [Caml-list] Float precision in OCaml > Said that, one 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 arithm= etic, though.=C2=A0 And since you have no control on which binary to decimal codecs JSON parser= s are going to use you have absolutely no interoperability story at that po= int. Best,=C2=A0 Daniel