GNU bug report logs - #31593
Inconsistency with division of a real number by an integer

Message received at submit <at> debbugs.gnu.org:

Received: (at submit) by debbugs.gnu.org; 25 May 2018 15:29:57 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri May 25 11:29:57 2018
Received: from localhost ([127.0.0.1]:48563 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1fMEfE-0007nU-QH
	for submit <at> debbugs.gnu.org; Fri, 25 May 2018 11:29:56 -0400
Received: from eggs.gnu.org ([208.118.235.92]:39615)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <tommi.hoynalanmaa@HIDDEN>) id 1fMEfB-0007nG-8K
 for submit <at> debbugs.gnu.org; Fri, 25 May 2018 11:29:55 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <tommi.hoynalanmaa@HIDDEN>) id 1fMEf5-00076G-5t
 for submit <at> debbugs.gnu.org; Fri, 25 May 2018 11:29:47 -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.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM,
 FROM_EXCESS_BASE64,HTML_MESSAGE,T_DKIM_INVALID autolearn=disabled
 version=3.3.2
Received: from lists.gnu.org ([2001:4830:134:3::11]:54464)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <tommi.hoynalanmaa@HIDDEN>)
 id 1fMEf5-000765-3A
 for submit <at> debbugs.gnu.org; Fri, 25 May 2018 11:29:47 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:58819)
 by lists.gnu.org with esmtp (Exim 4.71)
 (envelope-from <tommi.hoynalanmaa@HIDDEN>) id 1fMEf4-0007qG-2k
 for bug-guile@HIDDEN; Fri, 25 May 2018 11:29:46 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <tommi.hoynalanmaa@HIDDEN>) id 1fMEf3-00074p-BP
 for bug-guile@HIDDEN; Fri, 25 May 2018 11:29:46 -0400
Received: from mail-it0-x235.google.com ([2607:f8b0:4001:c0b::235]:50974)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
 (Exim 4.71) (envelope-from <tommi.hoynalanmaa@HIDDEN>)
 id 1fMEf3-000741-61
 for bug-guile@HIDDEN; Fri, 25 May 2018 11:29:45 -0400
Received: by mail-it0-x235.google.com with SMTP id p3-v6so7297933itc.0
 for <bug-guile@HIDDEN>; Fri, 25 May 2018 08:29:44 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
 h=mime-version:from:date:message-id:subject:to;
 bh=vgYN6TZzruHhC0O5IzNRmxDzTN7Qp12KpHc5XIl9Eww=;
 b=X6RqZQhudsWsXe+t9wTYaWJYV5xszEiHoiSVVOQtXtiUYlyaoVGzNQjryMvuFE2uPU
 jzQPS1A3zPYi8FzatakmC512RsmlFOLALOhFaGBFRsoxMjW6WQBnyxPyYsioWBByq+hs
 28ypps5pPXAudCWSLSrd6qO6trH3wyKf1sLqed0ieYlOWm09hF4fgGYlPonoFnPw3fyH
 z7SLcx/FsQm9HSRxcPGex2zSgebfs+FcIcMUkkoLneQd7naSzp9i0eIvL9fELype17yq
 gyZxfYOvtQnN9h5WKNdqIOHYTHB87ZA4xffgjHrYvr/9EoIvWfRqXPT4Jvs6Wx4s8y66
 GnEg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20161025;
 h=x-gm-message-state:mime-version:from:date:message-id:subject:to;
 bh=vgYN6TZzruHhC0O5IzNRmxDzTN7Qp12KpHc5XIl9Eww=;
 b=Z0h0Gx5IxTJaURgEPinL9b4/fT4V8c0gTP65U8EdNmjYJx50qtcMvCQkiPjvCYrx3e
 vmJZMzUVDffsWLWY/UyaufPmfh+wzaK0ZwkEFnk0ULYirYEuKA1QP2bhBgMsN5WGIAZd
 A2w/knJe+b5paBGaf5f6ohG9hFDK40uuqk6qpuTpd4OtaLvcakMmiOCfoBtnvi1ksDa5
 8xqSBq0eBQ9+LOdUucHyeZstEGjV2Dms5GX+DE5xDezwpkd6QnQPyXMi0qrh6Wz6nNG/
 TIcFmga4r/vTq1uE80Yy7UL7E1UDWocXLctZl/tomYEcv4V5BIDQHFawNsyxbCUmKwtb
 dEFA==
X-Gm-Message-State: ALKqPwe4m8Dzl6+c01up509NO+v6iXjZ8COi05IUcW6nTWRx2mAyvdf4
 05aCvcEioGXCbYcTnpiXUMQfLUk65C4KwwcRs+ze
X-Google-Smtp-Source: ADUXVKJfKiXMwx2qtovSS8Ex8Tr3XmPxqERXFDPVCqeljj+CjXSyrWZuTaja120KgfA6y0dj58LxcGugO/xRmlnp2yU=
X-Received: by 2002:a24:70d0:: with SMTP id
 f199-v6mr2549621itc.2.1527262183949; 
 Fri, 25 May 2018 08:29:43 -0700 (PDT)
MIME-Version: 1.0
Received: by 2002:a02:9008:0:0:0:0:0 with HTTP; Fri, 25 May 2018 08:29:43
 -0700 (PDT)
From: =?UTF-8?B?VG9tbWkgSMO2eW7DpGzDpG5tYWE=?= <tommi.hoynalanmaa@HIDDEN>
Date: Fri, 25 May 2018 18:29:43 +0300
Message-ID: <CAAkPRiyAWfYLVCSx=DhTJMZfhvvnyH4Jb_CcNOKNPbnMckbmUQ@HIDDEN>
Subject: Inconsistency with division of a real number by an integer
To: bug-guile@HIDDEN
Content-Type: multipart/alternative; boundary="000000000000f40d00056d096fe0"
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
 recognized.
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Received-From: 2001:4830:134:3::11
X-Spam-Score: -3.9 (---)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -4.9 (----)

--000000000000f40d00056d096fe0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

The following code causes a numerical overflow exception to be raised:

---cut here---
(define myproc
  (lambda arguments
    (apply / arguments)))

(display (myproc 5.5 0))
---cut-here---

However, expression (/ 5.5 0) returns +inf.0.
Obviously one of these is wrong.

I have checked this with Guile 2.2.3.

     - Tommi H=C3=B6yn=C3=A4l=C3=A4nmaa

--000000000000f40d00056d096fe0
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>The following code causes a numerical overflow except=
ion to be raised:</div><div><br></div><div>---cut here---<br></div><div>(de=
fine myproc<br>=C2=A0 (lambda arguments<br>=C2=A0=C2=A0=C2=A0 (apply / argu=
ments)))<br><br>(display (myproc 5.5 0))<br></div><div>---cut-here---</div>=
<div><br></div><div>However, expression (/ 5.5 0) returns +inf.0.</div><div=
>Obviously one of these is wrong.<br></div><div><br></div><div>I have check=
ed this with Guile 2.2.3.</div><div><br></div><div>=C2=A0=C2=A0=C2=A0=C2=A0=
 - Tommi H=C3=B6yn=C3=A4l=C3=A4nmaa</div><div><br></div></div>

--000000000000f40d00056d096fe0--