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 492441E5 for ; Wed, 23 May 2018 06:56:00 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,432,1520895600"; d="scan'208";a="327993896" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 May 2018 08:55:59 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 002278242B; Wed, 23 May 2018 08:55:58 +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 E8B6B8240C for ; Wed, 23 May 2018 08:55:52 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rixed@happyleptic.org; spf=None smtp.mailfrom=rixed@happyleptic.org; spf=None smtp.helo=postmaster@pim.happyleptic.org IronPort-PHdr: =?us-ascii?q?9a23=3AEyrUSRbgNwWj7YpPhJOeinz/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMuybnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58axlVAHnhz?= =?us-ascii?q?sGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7WYNEUSndbXstJWSJPAp2y?= =?us-ascii?q?YZYMAeoPMulXs5TyqFkAohalGQmgGPnixiNUinLsw6E31fkqHwHc3AwnGtIDqG?= =?us-ascii?q?7UrNT6NagMTO+416nIwi/bb/NO2Tb97JbHcgg9ofGNQb18a83RyVMgFw7Dk16e?= =?us-ascii?q?p4vlPzaP2eQMtWiW9+tgVeS1i24msQ59uDavxt0qh4LUhYwV0kjJ+CVjzIooK9?= =?us-ascii?q?C1SFR3bcOkHZZRrS2WKoh7T8E6T2xruCs20KAKtJG4cSQQyZkqyQTTZv2bf4WO?= =?us-ascii?q?/xntTvyeIS1ii3JgYL+/hwi98UynyuDkTsm00VNKojBFktbWrnANzxzS6syZRf?= =?us-ascii?q?tl4keh2CqA2xrU6uFeLkA4javbK5g/zb4sjpcesV7PEjL4lUj2lqOaa0Up9+my?= =?us-ascii?q?5+j6YbjrpIeQN4puhQH/NqQulNa/AeM9MgUWRWib+Ou926P+8kDiQLVFlOU2kr?= =?us-ascii?q?HZsZDeO8sbvrK5Aw5J3Yo57Ba/FTim3MwCnXYbNFJFZA6Hj4/xNl7SOv/4CPO/?= =?us-ascii?q?j02okDdq3PDGIqbsAo7NL3jGiLfuZ6xx609ayAopzNBQ/YhYCr8bIKG7Zkikkt?= =?us-ascii?q?3TCRswKESOyvrmBc81goUfUmWLC7TfKqrOsFKSzuwiJvWLIZQJ/jjnfasL/fnr?= =?us-ascii?q?2GU4iVIRVamgxYMGbH2gAvVtZUKDbim/yuwdGHsH61JtBNfhj0ePBHsKPy7rDv?= =?us-ascii?q?AMowojAYfjNr/tA4WkgbiPxiC+R8IEZmleEkGIHG/0do7CXO0DOnrLfp1R1wcc?= =?us-ascii?q?XL3kcLcPkAm0vValmbpuNvLF/iAAqZPokt9v6L+LzExgxXlPF82Yllq1YSR0k2?= =?us-ascii?q?cPHWZkxKF650x00k+S1aVgn/1TU9tJ6KERXw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A0BwDLDwVb/7uchwVCGhwBAQEEAQEKA?= =?us-ascii?q?QGDRGJ9KIxajBeDCIJNiROHV4F4CyMJhEACCIIaGQYGMhYBAgEBAQEBAQEBAWs?= =?us-ascii?q?cDII1JAGCTwY6BgEBNwEPCyETEg8FSYM3ggMBCjCgCYhrgwmCbwEBBYUKRIF0A?= =?us-ascii?q?wWINYIThByDEQQYgTaDQIIkmFYJhWqIYwuBKQGLVYlkhxqBJSMHKoFSfUOCQ4I?= =?us-ascii?q?UhSaDVoVAbQF4jGABAQ?= X-IPAS-Result: =?us-ascii?q?A0A0BwDLDwVb/7uchwVCGhwBAQEEAQEKAQGDRGJ9KIxajBe?= =?us-ascii?q?DCIJNiROHV4F4CyMJhEACCIIaGQYGMhYBAgEBAQEBAQEBAWscDII1JAGCTwY6B?= =?us-ascii?q?gEBNwEPCyETEg8FSYM3ggMBCjCgCYhrgwmCbwEBBYUKRIF0AwWINYIThByDEQQ?= =?us-ascii?q?YgTaDQIIkmFYJhWqIYwuBKQGLVYlkhxqBJSMHKoFSfUOCQ4IUhSaDVoVAbQF4j?= =?us-ascii?q?GABAQ?= X-IronPort-AV: E=Sophos;i="5.49,432,1520895600"; d="scan'208";a="266086382" Received: from pim.happyleptic.org ([5.135.156.187]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 May 2018 08:55:52 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=happyleptic.org; s=20160823; h=In-Reply-To:Content-Type:MIME-Version:References:Message-ID:Subject:Cc:To:From:Date; bh=Vm6tPxxWp+P01h0WkCMIJ3c1catifFhY08MKAC3FbbI=; b=nWzHm13CxPkRbvSATTPhVEmQUnmZduO7fSqGHWcphs/wifUK9SsHmwA+nSM2ArXvKKeSiE6vQ2cT1ByPRKH0kQdNC6gl9483907H0EGqKUbI1Z7eXL8vuBMmtybbTurmSh5e/8jIHIZi7gb/Oi+HBGTfeJM5zasBaKxsEj5Gc1A=; Received: from s55943f3c.adsl.online.nl ([85.148.63.60] helo=rxdmac.local) by pim.happyleptic.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1fLNgd-0003PY-Ac; Wed, 23 May 2018 08:55:51 +0200 Date: Wed, 23 May 2018 08:55:44 +0200 From: rixed@happyleptic.org To: Nicolas Ratier Cc: caml-list Message-ID: <20180523065544.GA32430@rxdmac.local> References: <52412de6-948f-963c-059d-99bb7dab8f6d@femto-st.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <52412de6-948f-963c-059d-99bb7dab8f6d@femto-st.fr> User-Agent: Mutt/1.9.4 (2018-02-28) Subject: Re: [Caml-list] int of infinity = 0 Reply-To: rixed@happyleptic.org X-Loop: caml-list@inria.fr X-Sequence: 16907 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: Note that is is also true for large floats: utop # int_of_float 1e99;; - : int = 0 More surprisingly: utop # int_of_float (float_of_int max_int);; - : int = -4611686018427387904 Marked as won't fix in this ticket from 2007 with some explanation: https://caml.inria.fr/mantis/view.php?id=4207 -- 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