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 7FF175D4 for ; Tue, 22 May 2018 13:20:40 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,430,1520895600"; d="scan'208";a="327893521" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 May 2018 15:20:38 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5818C82442; Tue, 22 May 2018 15:20:38 +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 6AF9E8242B for ; Tue, 22 May 2018 15:20:32 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nicolas.ratier@femto-st.fr; spf=Pass smtp.mailfrom=nicolas.ratier@femto-st.fr; spf=None smtp.helo=postmaster@mail.femto-st.fr IronPort-PHdr: =?us-ascii?q?9a23=3AXzuXpRWOsx3MLKdwBh4HI19ZqoHV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxKHt8tkgFKBZ4jH8fUM07OQ7/i7HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba98IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmij?= =?us-ascii?q?oINyQh/W/KhMx+jLxVrhGvqRNxzIHbYp2aOvVlc6PBf94XX3ZNUtpfWiFDBI63?= =?us-ascii?q?cosBD/AGPeZdt4Tzv1oOoge5BQmoHuzv0SJDiGPs0q0m0uQuDxvG1xEnEtIIsX?= =?us-ascii?q?TbsNL1NKMIXuCu1qXI1y/Mb+9X2Tjj8ojFaR4hru+JXbJsdsrd0FIvFx/fglWe?= =?us-ascii?q?s4zoJjWY3fkOvWiD9+dsSOaihmE9pwxxoDWj3MQhh4rTio8Uy13I7Th1zYI6KN?= =?us-ascii?q?GiVUJ2YNypHIFfuiyaLYd6XMwvTm5utS0n0LMJo4S7czIPyJk/xx7QdfiHc4+Q?= =?us-ascii?q?7xLmTumRIDN4iGhreL2hghay7U+gxvTnVsmoylpKoDBFnsHNtnALyRPT9tCKRu?= =?us-ascii?q?Z580quwzqC1wLe5vtHLE03j6bWKp8szqY1lpUJsETDGiH2mF/xjK+Tbkgk/Omo?= =?us-ascii?q?5PjgYrXivJCcLJV4ihvkPaQym8ywH/44PxMAX2eF/OS8yLrj8VTiQLVWlPE2nL?= =?us-ascii?q?PZvIjAJcsHvq65HxNV0oE75hmjFTim1dAYkWADLFJEYxKHk5PkO0rOIfD9Ffew?= =?us-ascii?q?mU6gkDZtx/DcP73uGI/BLnbZkOSpQbEo4EdZzE83zMtDr8ZfA7QFZfbyQVPZtd?= =?us-ascii?q?rCDxZ/PRbikMj9D9Ao8IIVXmaGGeejOb/TvEXAsuQuKO6IbZRToj/hKvU/z/Dj?= =?us-ascii?q?iGM+3EQBO6ezi8hEIEukF+hrdh3KKUHnhc0MRD9T71gOCdfygVjHagZ9InO7Xq?= =?us-ascii?q?Yy/DY+Udn0A4rGWofom6DH0j3pR8QKNFADMUiFFDLTT6vBQ+0FMXnALMJkjjtB?= =?us-ascii?q?TqTnRZVzjUjz5j+/8KJuK6/vwgNdtZ/n04EltejalBV0+zFxE8PYyH3LQXsmxm?= =?us-ascii?q?4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CRGwCXGARbl0JYOcJdH4Q6eoQdiAZdj?= =?us-ascii?q?WiBOJM3gXcLhGwCgjoHAQQ7DQECAQEBAQEBAQEBEwEBAQEBCBYGV4I1IoJSAwM?= =?us-ascii?q?jFVElAiYCAlcGDQgBAYMeggWoUIIchFiDbYIPgQmFCIMqTj+BM4pcglQCmE8HA?= =?us-ascii?q?nJ1jGqBLwGGOIUckFMCBAsCEwGBJUowgSwzGidMgkSCLY4ij0sBAQ?= X-IPAS-Result: =?us-ascii?q?A0CRGwCXGARbl0JYOcJdH4Q6eoQdiAZdjWiBOJM3gXcLhGw?= =?us-ascii?q?CgjoHAQQ7DQECAQEBAQEBAQEBEwEBAQEBCBYGV4I1IoJSAwMjFVElAiYCAlcGD?= =?us-ascii?q?QgBAYMeggWoUIIchFiDbYIPgQmFCIMqTj+BM4pcglQCmE8HAnJ1jGqBLwGGOIU?= =?us-ascii?q?ckFMCBAsCEwGBJUowgSwzGidMgkSCLY4ij0sBAQ?= X-IronPort-AV: E=Sophos;i="5.49,430,1520895600"; d="scan'208";a="266010501" Received: from lifc.univ-fcomte.fr (HELO mail.femto-st.fr) ([194.57.88.66]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 May 2018 15:20:29 +0200 Received: from [172.16.120.211] (nat-tf.ens2m.fr [194.167.45.244] (may be forged)) (authenticated bits=0) by mail.femto-st.fr (8.14.4/8.14.4/Debian-4+deb7u1) with ESMTP id w4MDKS0U004669 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NOT) for ; Tue, 22 May 2018 15:20:28 +0200 References: From: Nicolas Ratier To: caml-list Message-ID: <52412de6-948f-963c-059d-99bb7dab8f6d@femto-st.fr> Date: Tue, 22 May 2018 15:19:01 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.6.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Scanned-By: MIMEDefang 2.71 on 194.57.88.66 Subject: [Caml-list] int of infinity = 0 Reply-To: Nicolas Ratier X-Loop: caml-list@inria.fr X-Sequence: 16905 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Hi, Dangerous behaviour ... # int_of_float (infinity);; - : int = 0 # int_of_float (neg_infinity);; - : int = 0 # 1+int_of_float (infinity);; - : int = 1 Nicolas -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs