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 7B05D7F98F for ; Tue, 1 Aug 2017 13:40:52 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=francois.bobot@cea.fr; spf=Pass smtp.mailfrom=francois.bobot@cea.fr; spf=None smtp.helo=postmaster@oxalide-smtp-out.extra.cea.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.168.224.13; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of francois.bobot@cea.fr designates 132.168.224.13 as permitted sender) identity=mailfrom; client-ip=132.168.224.13; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; 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@oxalide-smtp-out.extra.cea.fr) identity=helo; client-ip=132.168.224.13; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@oxalide-smtp-out.extra.cea.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AJvQcXBG/jv116L6/It7ehZ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78osmwAkXT6L1XgUPTWs2DsrQf2rqQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDmwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOSMn/mHZisJ+j6xVrxyuqBN934Hab5qYNOZ9c67HYd8WWWRMU8RXWidcAo28?= =?us-ascii?q?dYwPD+8ZMOhYtYnyvV0OqgO5BQmtH+Pg0iJFhnjt0q09z+QqDAbL3AI6H90Utn?= =?us-ascii?q?TbsNL1NKYJUeyv16bIyi7Mb/RK2Trm9IfHbAoureuCXbJqaMfcz1QkGQDdjliI?= =?us-ascii?q?tIDoMS2Z2v4Qv2Wa7OdsT/yjh3Aopg1rvzSiyN8ghpTHi44L0FzI6CR0zYcvKd?= =?us-ascii?q?GlTEN3f8SoHZlWuiqHLYV5WNkiTHttuCsiyr0Jp5q7fC8SxZQgyB/QcfiHc4mV?= =?us-ascii?q?7R39TeqROjJ4hG59eL6mgBay7FSgxvfiWci7zFZKtDBKnsPQuX8TzRPf8MaHSu?= =?us-ascii?q?Fl8keg3zaAyRzT5/lZLU06i6bXMYMtz78zm5YJr0jPACD7lF/rgKKYbkkk//Kn?= =?us-ascii?q?6+XjYrXovJ+cMIp0hxnwMqQ0gMO/B/g3Mg8PX2iA4+izz7rj8lb+QLVWlfA5jr?= =?us-ascii?q?fWv4rAKcQVvK61GxVV3Zo76xajEzem18wVkmUdI1JAfBKLlozpO1DVIPDkFvq/?= =?us-ascii?q?mFStkDJzx//cJLHhA5PNLmLCkLj7Z7p95VRcm0IPyoVU7pdQT7UAO+7bW0nrtd?= =?us-ascii?q?WeAAVqHRazxrPJEtx7WYQfQlWlBaWeLOuGv0WB4OkoIvLKbogfvyrVIPUsofD0?= =?us-ascii?q?2yxq0WQBdLWkiMNEIEuzGe5rdh2U?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B+AADCZ4BZhw3gqIRdHQEFAQsBGQYMh?= =?us-ascii?q?QCONXOPCIFKIpYNghKFRwKEHj8YAQEBAQEBAQEBAQESAQEBCA0JCCgvgjMigkQ?= =?us-ascii?q?BAgIBIw8BBUYLCxoCFQIPAgJXEwgBAYojCK47giaLTTKBC4IdggKDWAuCcIU/C?= =?us-ascii?q?geCNoJhBZ90eZUkiUGHC5V3H4FCUyhahSeBdYFWhw+CPgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0B+AADCZ4BZhw3gqIRdHQEFAQsBGQYMhQCONXOPCIFKIpY?= =?us-ascii?q?NghKFRwKEHj8YAQEBAQEBAQEBAQESAQEBCA0JCCgvgjMigkQBAgIBIw8BBUYLC?= =?us-ascii?q?xoCFQIPAgJXEwgBAYojCK47giaLTTKBC4IdggKDWAuCcIU/CgeCNoJhBZ90eZU?= =?us-ascii?q?kiUGHC5V3H4FCUyhahSeBdYFWhw+CPgEBAQ?= X-IronPort-AV: E=Sophos;i="5.41,306,1498514400"; d="scan'208";a="233397139" Received: from oxalide-smtp-out.extra.cea.fr ([132.168.224.13]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Aug 2017 13:40:51 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by oxalide-sys.extra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id v71Bepgs003510 for ; Tue, 1 Aug 2017 13:40:51 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 0F68F20376F for ; Tue, 1 Aug 2017 13:40:51 +0200 (CEST) Received: from muguet2.intra.cea.fr (muguet2.intra.cea.fr [132.166.192.7]) by pisaure.intra.cea.fr (Postfix) with ESMTP id F08D92038C6 for ; Tue, 1 Aug 2017 13:40:50 +0200 (CEST) Received: from [10.8.35.73] (is231324.intra.cea.fr [10.8.35.73]) by muguet2.intra.cea.fr (8.15.2/8.15.2/CEAnet-Intranet-out-1.4) with ESMTP id v71Beoog028428 for ; Tue, 1 Aug 2017 13:40:50 +0200 To: caml-list@inria.fr References: From: =?UTF-8?Q?Fran=c3=a7ois_Bobot?= Message-ID: <71b2ebcd-3932-0c97-0bea-37a28103781b@cea.fr> Date: Tue, 1 Aug 2017 13:40:50 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Float precision in OCaml Le 01/08/2017 à 13:18, Nicolás Ojeda Bär a écrit : > I am not sure this is an issue with OCaml (as you can verify using your favourite C compiler). Indeed, float_of_string is just strtod in the decimal case. > Rather, I think IEEE 754 double-precision binary floating-point numbers can only represent numbers > between 10^{-308} and 10^308 with full decimal digits precision. Numbers smaller than that can only > be represented with reduced precision. I don't know what you mean by full decimal digits precision, but the reduced precision is everywhere. For example: 2.**150.+.1. = 2.**150. Best, -- François