From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Paul Eggert Newsgroups: gmane.emacs.bugs Subject: bug#8611: fixnum arithmetic should not wrap around Date: Wed, 04 May 2011 08:06:20 -0700 Organization: UCLA Computer Science Department Message-ID: <4DC16B6C.3090803@cs.ucla.edu> References: <4DC0491D.7090404@cs.ucla.edu> <4DC0A99E.3090706@cs.ucla.edu> <4DC0D198.7020506@cs.ucla.edu> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1304522355 32311 80.91.229.12 (4 May 2011 15:19:15 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 4 May 2011 15:19:15 +0000 (UTC) Cc: 8611@debbugs.gnu.org To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed May 04 17:19:10 2011 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([140.186.70.17]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1QHdr3-00026A-7h for geb-bug-gnu-emacs@m.gmane.org; Wed, 04 May 2011 17:19:09 +0200 Original-Received: from localhost ([::1]:49453 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QHdr2-0002N6-OY for geb-bug-gnu-emacs@m.gmane.org; Wed, 04 May 2011 11:19:08 -0400 Original-Received: from eggs.gnu.org ([140.186.70.92]:47616) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QHdr0-0002Mu-3S for bug-gnu-emacs@gnu.org; Wed, 04 May 2011 11:19:06 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1QHdqz-0002ve-Aa for bug-gnu-emacs@gnu.org; Wed, 04 May 2011 11:19:06 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:57165) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QHdqz-0002va-98 for bug-gnu-emacs@gnu.org; Wed, 04 May 2011 11:19:05 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.69) (envelope-from ) id 1QHdfK-0005qQ-9S; Wed, 04 May 2011 11:07:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Paul Eggert Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-To: owner@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 04 May 2011 15:07:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 8611 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 8611-submit@debbugs.gnu.org id=B8611.130452159022424 (code B ref 8611); Wed, 04 May 2011 15:07:02 +0000 Original-Received: (at 8611) by debbugs.gnu.org; 4 May 2011 15:06:30 +0000 Original-Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QHdeo-0005pc-0M for submit@debbugs.gnu.org; Wed, 04 May 2011 11:06:30 -0400 Original-Received: from smtp.cs.ucla.edu ([131.179.128.62]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QHdel-0005pM-M0 for 8611@debbugs.gnu.org; Wed, 04 May 2011 11:06:28 -0400 Original-Received: from localhost (localhost.localdomain [127.0.0.1]) by smtp.cs.ucla.edu (Postfix) with ESMTP id 2AE9B39E8109; Wed, 4 May 2011 08:06:22 -0700 (PDT) X-Virus-Scanned: amavisd-new at smtp.cs.ucla.edu Original-Received: from smtp.cs.ucla.edu ([127.0.0.1]) by localhost (smtp.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id tCipCLH1S+XZ; Wed, 4 May 2011 08:06:21 -0700 (PDT) Original-Received: from [192.168.1.10] (pool-71-189-109-235.lsanca.fios.verizon.net [71.189.109.235]) by smtp.cs.ucla.edu (Postfix) with ESMTPSA id AA5D039E8108; Wed, 4 May 2011 08:06:21 -0700 (PDT) User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.14) Gecko/20110223 Thunderbird/3.1.8 In-Reply-To: X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list Resent-Date: Wed, 04 May 2011 11:07:02 -0400 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-Received-From: 140.186.70.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:46203 Archived-At: On 05/04/11 05:57, Stefan Monnier wrote: > Conversion to float is in general not a good idea OK, how about using bignum instead? That would be quite a bit of work, and I wouldn't want to embark on it if the answer is going to be "don't fix something that isn't broken". Clearly the current behavior is broken at some level, since we have mathematical nonsense like adding two positive numbers gives you a negative number, and this results in much real Emacs Lisp code going into contortions; but if the overall idea is that this is good enough, then I should not bother. Perhaps I should raise this on the emacs-devel list? It seems to be a more general point, one that surely has come up before.