From unknown Mon Jun 23 13:14:23 2025 X-Loop: help-debbugs@gnu.org Subject: bug#15320: [2.0.7] Rational number representation problem Resent-From: Josh Stokes Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Tue, 10 Sep 2013 15:45:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 15320 X-GNU-PR-Package: guile X-GNU-PR-Keywords: To: 15320@debbugs.gnu.org X-Debbugs-Original-To: bug-guile@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.137882785816082 (code B ref -1); Tue, 10 Sep 2013 15:45:02 +0000 Received: (at submit) by debbugs.gnu.org; 10 Sep 2013 15:44:18 +0000 Received: from localhost ([127.0.0.1]:52763 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VJQ6z-0004BI-Kx for submit@debbugs.gnu.org; Tue, 10 Sep 2013 11:44:18 -0400 Received: from eggs.gnu.org ([208.118.235.92]:54721) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VJNzr-0000Ww-BX for submit@debbugs.gnu.org; Tue, 10 Sep 2013 09:28:48 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VJNzl-0004PI-8f for submit@debbugs.gnu.org; Tue, 10 Sep 2013 09:28:42 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_50, FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,HTML_MESSAGE,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:55866) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VJNzl-0004PD-6k for submit@debbugs.gnu.org; Tue, 10 Sep 2013 09:28:41 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:56436) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VJNzk-0001z4-9F for bug-guile@gnu.org; Tue, 10 Sep 2013 09:28:41 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VJNzj-0004Ot-BC for bug-guile@gnu.org; Tue, 10 Sep 2013 09:28:40 -0400 Received: from mail-wi0-x242.google.com ([2a00:1450:400c:c05::242]:44828) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VJNzj-0004OV-3f for bug-guile@gnu.org; Tue, 10 Sep 2013 09:28:39 -0400 Received: by mail-wi0-f194.google.com with SMTP id c10so142299wiw.9 for ; Tue, 10 Sep 2013 06:28:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=tpkCLCsGp2JC1hcQ3dW+4uoz4pVdjLRxAqJknD7+GRg=; b=MtGPOBfmo/4KgMKO2XBRtK0nTJFAS0uGSfqB+EfAIPkSSiq5m9f/2+IFvcAIfqGFeR ZgovviAoXHX5BEehhxRFrV5EyBgH8Qq6eT3QLJ+vn+aaGYJ+3XLX1UACn8JN+1+yoByE iLktKHqM6YnUvmGcuRppADNB3XlsFiWHt0orwR3j9mykP9zDjVId7cTy8ZukaJwA77wP kGPgNt54YI2IbqNWgarzvMPXnfclWXzbBdNwTyTwaAUdDOZ1f0FKTuP9slOlTU8193rt t+9xu27CylufaPY1bFw9otSIwdXA2KJzrx5DgRGjxfm0mhYcNZYOfNR/XqTni4qRlMPX /PaA== MIME-Version: 1.0 X-Received: by 10.180.20.42 with SMTP id k10mr13509501wie.0.1378819717324; Tue, 10 Sep 2013 06:28:37 -0700 (PDT) Received: by 10.217.132.133 with HTTP; Tue, 10 Sep 2013 06:28:37 -0700 (PDT) Date: Tue, 10 Sep 2013 14:28:37 +0100 Message-ID: From: Josh Stokes Content-Type: multipart/alternative; boundary=bcaec53f395975e27f04e6077bec 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.8 (---) X-Mailman-Approved-At: Tue, 10 Sep 2013 11:44:16 -0400 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.8 (---) --bcaec53f395975e27f04e6077bec Content-Type: text/plain; charset=ISO-8859-1 It seems that certain small numbers are represented as integers, as (* 4294967296 4294967296) results in 0, but (* 3294967296 3294967296) returns the correct value of 10856809481709551616. In addition, (ash 1 64) gives 0, but (ash 1 65) works correctly. --bcaec53f395975e27f04e6077bec Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
It seems that certain small numbers are represented as int= egers, as=A0(* 4294967296 4294967296) results in 0, but=A0(* 3294967296 329= 4967296) returns the correct value of=A010856809481709551616. In addition, = (ash 1 64) gives 0, but (ash 1 65) works correctly.
--bcaec53f395975e27f04e6077bec-- From unknown Mon Jun 23 13:14:23 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.503 (Entity 5.503) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Josh Stokes Subject: bug#15320: closed (Re: bug#15320: [2.0.7] Rational number representation problem) Message-ID: References: <8738p9n461.fsf@tines.lan> X-Gnu-PR-Message: they-closed 15320 X-Gnu-PR-Package: guile Reply-To: 15320@debbugs.gnu.org Date: Thu, 12 Sep 2013 21:04:04 +0000 Content-Type: multipart/mixed; boundary="----------=_1379019844-18414-1" This is a multi-part message in MIME format... ------------=_1379019844-18414-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #15320: [2.0.7] Rational number representation problem which was filed against the guile package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 15320@debbugs.gnu.org. --=20 15320: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D15320 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1379019844-18414-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 15320-close) by debbugs.gnu.org; 12 Sep 2013 21:03:52 +0000 Received: from localhost ([127.0.0.1]:59756 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VKE3M-0004mV-0o for submit@debbugs.gnu.org; Thu, 12 Sep 2013 17:03:52 -0400 Received: from world.peace.net ([96.39.62.75]:59238 ident=hope8) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VKE3J-0004mL-Fi for 15320-close@debbugs.gnu.org; Thu, 12 Sep 2013 17:03:50 -0400 Received: from 209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com ([209.6.91.212] helo=tines.lan) by world.peace.net with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1VKE3C-0007YB-MM; Thu, 12 Sep 2013 17:03:42 -0400 From: Mark H Weaver To: Josh Stokes Subject: Re: bug#15320: [2.0.7] Rational number representation problem References: Date: Thu, 12 Sep 2013 17:03:34 -0400 In-Reply-To: (Josh Stokes's message of "Tue, 10 Sep 2013 14:28:37 +0100") Message-ID: <8738p9n461.fsf@tines.lan> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 15320-close Cc: 15320-close@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 (/) Josh Stokes writes: > It seems that certain small numbers are represented as integers, as (* > 4294967296 4294967296) results in 0, but (* 3294967296 3294967296) > returns the correct value of 10856809481709551616. In addition, (ash 1 > 64) gives 0, but (ash 1 65) works correctly. This is fixed in Guile 2.0.9. In case you're curious: this bug came into existence when C compilers started optimizing out overflow checks, on the theory that if a signed integer overflow occurs then the behavior is unspecified and thus the compiler can do whatever it likes. http://stackoverflow.com/questions/14495636/strange-multiplication-behavior-in-guile-scheme-interpreter/14498437#14498437 Thanks, Mark ------------=_1379019844-18414-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 10 Sep 2013 15:44:18 +0000 Received: from localhost ([127.0.0.1]:52763 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VJQ6z-0004BI-Kx for submit@debbugs.gnu.org; Tue, 10 Sep 2013 11:44:18 -0400 Received: from eggs.gnu.org ([208.118.235.92]:54721) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1VJNzr-0000Ww-BX for submit@debbugs.gnu.org; Tue, 10 Sep 2013 09:28:48 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VJNzl-0004PI-8f for submit@debbugs.gnu.org; Tue, 10 Sep 2013 09:28:42 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_50, FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,HTML_MESSAGE,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:55866) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VJNzl-0004PD-6k for submit@debbugs.gnu.org; Tue, 10 Sep 2013 09:28:41 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:56436) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VJNzk-0001z4-9F for bug-guile@gnu.org; Tue, 10 Sep 2013 09:28:41 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VJNzj-0004Ot-BC for bug-guile@gnu.org; Tue, 10 Sep 2013 09:28:40 -0400 Received: from mail-wi0-x242.google.com ([2a00:1450:400c:c05::242]:44828) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VJNzj-0004OV-3f for bug-guile@gnu.org; Tue, 10 Sep 2013 09:28:39 -0400 Received: by mail-wi0-f194.google.com with SMTP id c10so142299wiw.9 for ; Tue, 10 Sep 2013 06:28:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=tpkCLCsGp2JC1hcQ3dW+4uoz4pVdjLRxAqJknD7+GRg=; b=MtGPOBfmo/4KgMKO2XBRtK0nTJFAS0uGSfqB+EfAIPkSSiq5m9f/2+IFvcAIfqGFeR ZgovviAoXHX5BEehhxRFrV5EyBgH8Qq6eT3QLJ+vn+aaGYJ+3XLX1UACn8JN+1+yoByE iLktKHqM6YnUvmGcuRppADNB3XlsFiWHt0orwR3j9mykP9zDjVId7cTy8ZukaJwA77wP kGPgNt54YI2IbqNWgarzvMPXnfclWXzbBdNwTyTwaAUdDOZ1f0FKTuP9slOlTU8193rt t+9xu27CylufaPY1bFw9otSIwdXA2KJzrx5DgRGjxfm0mhYcNZYOfNR/XqTni4qRlMPX /PaA== MIME-Version: 1.0 X-Received: by 10.180.20.42 with SMTP id k10mr13509501wie.0.1378819717324; Tue, 10 Sep 2013 06:28:37 -0700 (PDT) Received: by 10.217.132.133 with HTTP; Tue, 10 Sep 2013 06:28:37 -0700 (PDT) Date: Tue, 10 Sep 2013 14:28:37 +0100 Message-ID: Subject: [2.0.7] Rational number representation problem From: Josh Stokes To: bug-guile@gnu.org Content-Type: multipart/alternative; boundary=bcaec53f395975e27f04e6077bec 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.8 (---) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Tue, 10 Sep 2013 11:44:16 -0400 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.8 (---) --bcaec53f395975e27f04e6077bec Content-Type: text/plain; charset=ISO-8859-1 It seems that certain small numbers are represented as integers, as (* 4294967296 4294967296) results in 0, but (* 3294967296 3294967296) returns the correct value of 10856809481709551616. In addition, (ash 1 64) gives 0, but (ash 1 65) works correctly. --bcaec53f395975e27f04e6077bec Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
It seems that certain small numbers are represented as int= egers, as=A0(* 4294967296 4294967296) results in 0, but=A0(* 3294967296 329= 4967296) returns the correct value of=A010856809481709551616. In addition, = (ash 1 64) gives 0, but (ash 1 65) works correctly.
--bcaec53f395975e27f04e6077bec-- ------------=_1379019844-18414-1--