From unknown Sat Jun 14 00:10:00 2025 X-Loop: help-debbugs@gnu.org Subject: bug#31593: Inconsistency with division of a real number by an integer Resent-From: Tommi =?UTF-8?Q?H=C3=B6yn=C3=A4l=C3=A4nmaa?= Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Fri, 25 May 2018 15:30:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 31593 X-GNU-PR-Package: guile X-GNU-PR-Keywords: To: 31593@debbugs.gnu.org X-Debbugs-Original-To: bug-guile@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.152726219729980 (code B ref -1); Fri, 25 May 2018 15:30:03 +0000 Received: (at submit) by debbugs.gnu.org; 25 May 2018 15:29:57 +0000 Received: from localhost ([127.0.0.1]:48563 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fMEfE-0007nU-QH for submit@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 ) id 1fMEfB-0007nG-8K for submit@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 ) id 1fMEf5-00076G-5t for submit@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 ) id 1fMEf5-000765-3A for submit@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 ) id 1fMEf4-0007qG-2k for bug-guile@gnu.org; Fri, 25 May 2018 11:29:46 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fMEf3-00074p-BP for bug-guile@gnu.org; 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 ) id 1fMEf3-000741-61 for bug-guile@gnu.org; Fri, 25 May 2018 11:29:45 -0400 Received: by mail-it0-x235.google.com with SMTP id p3-v6so7297933itc.0 for ; 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: Tommi =?UTF-8?Q?H=C3=B6yn=C3=A4l=C3=A4nmaa?= Date: Fri, 25 May 2018 18:29:43 +0300 Message-ID: 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 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: -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
The following code causes a numerical overflow except= ion to be raised:

---cut here---
(de= fine myproc
=C2=A0 (lambda arguments
=C2=A0=C2=A0=C2=A0 (apply / argu= ments)))

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

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

I have check= ed this with Guile 2.2.3.

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

--000000000000f40d00056d096fe0--