From unknown Mon Jun 23 07:48:16 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#14879 <14879@debbugs.gnu.org> To: bug#14879 <14879@debbugs.gnu.org> Subject: Status: fixnum-width, greatest-fixnum and least-fixnum disagree Reply-To: bug#14879 <14879@debbugs.gnu.org> Date: Mon, 23 Jun 2025 14:48:16 +0000 retitle 14879 fixnum-width, greatest-fixnum and least-fixnum disagree reassign 14879 guile submitter 14879 G=C3=B6ran Weinholt severity 14879 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Tue Jul 16 10:17:56 2013 Received: (at submit) by debbugs.gnu.org; 16 Jul 2013 14:17:56 +0000 Received: from localhost ([127.0.0.1]:58482 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Uz64h-0008U0-Tz for submit@debbugs.gnu.org; Tue, 16 Jul 2013 10:17:56 -0400 Received: from eggs.gnu.org ([208.118.235.92]:58800) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Uz64g-0008Tk-7D for submit@debbugs.gnu.org; Tue, 16 Jul 2013 10:17:54 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Uz64W-0005Xe-9K for submit@debbugs.gnu.org; Tue, 16 Jul 2013 10:17:48 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-100.0 required=5.0 tests=BAYES_40,T_DKIM_INVALID, USER_IN_WHITELIST autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:49385) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uz64V-0005XK-VF for submit@debbugs.gnu.org; Tue, 16 Jul 2013 10:17:44 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:60493) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uz64U-0002OV-GK for bug-guile@gnu.org; Tue, 16 Jul 2013 10:17:43 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Uz64T-0005Wb-9Q for bug-guile@gnu.org; Tue, 16 Jul 2013 10:17:42 -0400 Received: from iustitia.weinholt.se ([2a02:28f0:0:a::7dce:e5a8]:47812) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Uz5wf-00022N-60 for bug-guile@gnu.org; Tue, 16 Jul 2013 10:09:37 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=weinholt.se; s=iustitia2012; h=Content-Type:MIME-Version:Message-ID:Date:Subject:To:From; bh=Upp2le4GrrvgfNwAN/bobXip4q+eVVZqvcqeeJPJlyk=; b=USejm5pmxHAekibblqiC1urrcdiyWfIXOiUi+trd4yGTWHXvDQ62x56aIKTW3FrSMosr8cmjLhUr8do2bOJWKVQgHQHRXXfoBKZKhtp7awwGMYDv+w1R+f7GdkqsfMynj32bmC6O2YpxDyl9c+1z5tT7bZTqmLKkQ9gU0vnn2EjdJXeuPkisRLXVI5LyZrlvgIBVHYZRIpBYOgBYJ/y6XuNmo91Qbd4f1esYjjbbzij+vA4r8GG3fXIwL0n6UQMrxkDDzLgHT8MUVPmvK8BqGa6tY0mrz5fctkj1rhanAWa31/h4sOnCrVUd75s5djQpM8a1ju8jwrf3P3ZQVR3sQw==; Received: from uucp by iustitia.weinholt.se with local-bsmtp (Exim 4.72) (envelope-from ) id 1Uz5wX-00007n-Gk; Tue, 16 Jul 2013 16:09:29 +0200 Received: from weinholt by industria with local (Exim 4.80) (envelope-from ) id 1Uz5qK-0003Ub-VG; Tue, 16 Jul 2013 16:03:04 +0200 X-Hashcash: 1:20:130716:bug-guile@gnu.org::+aakUEq8zCMWlXoy:000000000000000000000000000000000000000000003uZq From: =?utf-8?Q?G=C3=B6ran?= Weinholt To: bug-guile@gnu.org Subject: fixnum-width, greatest-fixnum and least-fixnum disagree Date: Tue, 16 Jul 2013 16:02:55 +0200 Message-ID: <87ip0a61rk.fsf@industria.weinholt.se> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -3.3 (---) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hello schemers, scheme@(guile-user)> (import (rnrs)) scheme@(guile-user)> (fixnum-width) $1 =3D 61 scheme@(guile-user)> (greatest-fixnum) $2 =3D 2305843009213693951 scheme@(guile-user)> (least-fixnum) $3 =3D -2305843009213693952 If the reported fixnum width is correct, then these should be the least and greatest fixnums: (- (expt 2 (- (fixnum-width) 1))) =3D> -1152921504606846976 (- (expt 2 (- (fixnum-width) 1)) 1) =3D> 1152921504606846975 If the reported least and greatest fixnums are correct, then the fixnum width is actually 62. Tested with 2.0.9.33-3bbca-dirty on an amd64 system. Regards, =2D-=20 G=C3=B6ran Weinholt 20 JUSTICE KENNEDY: That seems odd. I mean, 21 Microsoft doesn't say please buy our disk because it's 22 the prettiest disk in the business. --=-=-= Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJR5VKPAAoJEOM+YaLpuMOiynAP/1k3dUXx8/SaON/E2Unt/dig mUcX8IWfCVVRQ9kMhfF3fDtPJ7tB8hjfFezOLqBVcg0xxeCOHTBWQiPUwSdTwrOJ NZgU3NU8YFRadOrTQvDrjg2ADPHyVyJ7zcqo18L9jwFLS8iFsoVEHgzxtvDknfHy uZX5pu4XyH/vhjW4PK8xnHtADiRvYwo17U1QEsiq7r5/pPrKDz72JnNSSO+cfo1E +MP1iU21K3l4eem/oFV8GDGUYIRHszhjIzR5mjkpPIswl4vsjjqX1qdurLKOrYAM /L5huvylI/ULr4hrhtPTYxxs3S1CbjXYvWN11fmsIT6B+z0URbMi0D6ymhPY4Ip1 XGuGhAv8ipfOQwFpFFl0udhU7CfD56A6+r3gkkEkD+8/i3KySIpnfVfYEdBuzE3q J5rFegNW3NeZVzYJqkXwy4bthImbHh2bv0bsjW15HiQX4u5JWKqKCIRhW9S2hSyy 7ltTsvea1xVHSKLcRDPzpyv/jjra9DGl5IY3gNuA3wLIqoBAlZNcXZofPtju+4LV SoPUAdwkZgzvVAU8b/Be3pppwu3F8sNR/SwNTpa8BNtYh9a66QZ5MsKMUZoRMpJx 0gPLT4/oUZfpFOVb4cDx6UlYYq1nUj+Ws/KsUC4ua9gUb00C2jQtEW3wT0G2BxvU A4UnrP04mAmOSAz2yBrj =w6SW -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Tue Jul 16 17:42:09 2013 Received: (at 14879-done) by debbugs.gnu.org; 16 Jul 2013 21:42:09 +0000 Received: from localhost ([127.0.0.1]:59148 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1UzD0a-0008UA-FZ for submit@debbugs.gnu.org; Tue, 16 Jul 2013 17:42:08 -0400 Received: from world.peace.net ([96.39.62.75]:54327 ident=hope4) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1UzD0X-0008Ts-GO for 14879-done@debbugs.gnu.org; Tue, 16 Jul 2013 17:42:06 -0400 Received: from 209-6-120-240.c3-0.arl-ubr1.sbo-arl.ma.cable.rcn.com ([209.6.120.240] helo=tines.lan) by world.peace.net with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1UzD0R-0003ez-31; Tue, 16 Jul 2013 17:41:59 -0400 From: Mark H Weaver To: =?utf-8?Q?G=C3=B6ran?= Weinholt Subject: Re: bug#14879: fixnum-width, greatest-fixnum and least-fixnum disagree References: <87ip0a61rk.fsf@industria.weinholt.se> Date: Tue, 16 Jul 2013 17:41:41 -0400 In-Reply-To: <87ip0a61rk.fsf@industria.weinholt.se> (=?utf-8?Q?=22G=C3=B6r?= =?utf-8?Q?an?= Weinholt"'s message of "Tue, 16 Jul 2013 16:02:55 +0200") Message-ID: <87li5618tm.fsf@tines.lan> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 14879-done Cc: 14879-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 0.0 (/) G=C3=B6ran Weinholt writes: > scheme@(guile-user)> (import (rnrs)) > scheme@(guile-user)> (fixnum-width) > $1 =3D 61 > scheme@(guile-user)> (greatest-fixnum) > $2 =3D 2305843009213693951 > scheme@(guile-user)> (least-fixnum) > $3 =3D -2305843009213693952 > > If the reported fixnum width is correct, then these should be the least > and greatest fixnums: > > (- (expt 2 (- (fixnum-width) 1))) =3D> -1152921504606846976 > (- (expt 2 (- (fixnum-width) 1)) 1) =3D> 1152921504606846975 > > If the reported least and greatest fixnums are correct, then the fixnum > width is actually 62. That's correct. Fixed in 06903786211afd9a554b8f009a37111f729607ee. Thanks! Mark From unknown Mon Jun 23 07:48:16 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Wed, 14 Aug 2013 11:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator