From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.bugs Subject: bug#8611: fixnum arithmetic should not wrap around Date: Wed, 04 May 2011 09:57:10 -0300 Message-ID: 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 X-Trace: dough.gmane.org 1304514437 13043 80.91.229.12 (4 May 2011 13:07:17 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 4 May 2011 13:07:17 +0000 (UTC) Cc: 8611@debbugs.gnu.org To: Paul Eggert Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed May 04 15:07:13 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 1QHbnJ-0006OD-FX for geb-bug-gnu-emacs@m.gmane.org; Wed, 04 May 2011 15:07:09 +0200 Original-Received: from localhost ([::1]:44018 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QHbnI-0007z3-Tu for geb-bug-gnu-emacs@m.gmane.org; Wed, 04 May 2011 09:07:08 -0400 Original-Received: from eggs.gnu.org ([140.186.70.92]:46573) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QHbnC-0007pQ-AY for bug-gnu-emacs@gnu.org; Wed, 04 May 2011 09:07:03 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1QHbnB-0001Rs-G5 for bug-gnu-emacs@gnu.org; Wed, 04 May 2011 09:07:02 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:47105) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1QHbnB-0001Ro-EU for bug-gnu-emacs@gnu.org; Wed, 04 May 2011 09:07:01 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.69) (envelope-from ) id 1QHbeT-0002lU-KK; Wed, 04 May 2011 08:58:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier 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 12:58:01 +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.130451386810608 (code B ref 8611); Wed, 04 May 2011 12:58:01 +0000 Original-Received: (at 8611) by debbugs.gnu.org; 4 May 2011 12:57:48 +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 1QHbeF-0002l2-KT for submit@debbugs.gnu.org; Wed, 04 May 2011 08:57:47 -0400 Original-Received: from fencepost.gnu.org ([140.186.70.10]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1QHbeE-0002ks-EO for 8611@debbugs.gnu.org; Wed, 04 May 2011 08:57:46 -0400 Original-Received: from 121-249-126-200.fibertel.com.ar ([200.126.249.121]:8681 helo=ceviche.home) by fencepost.gnu.org with esmtpsa (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1QHbdh-0005Hy-MC; Wed, 04 May 2011 08:57:41 -0400 Original-Received: by ceviche.home (Postfix, from userid 20848) id BEEBF662FC; Wed, 4 May 2011 09:57:10 -0300 (ART) In-Reply-To: <4DC0D198.7020506@cs.ucla.edu> (Paul Eggert's message of "Tue, 03 May 2011 21:10:00 -0700") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list Resent-Date: Wed, 04 May 2011 08:58:01 -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:46200 Archived-At: > I'm still not understanding the principle. For example, > (string-to-number "536870912") operates entirely within Elisp, > but it returns a float when the integer is out of range. No: the content of a string is "external data", so string-to-number, just like `read', brings external data into the Elisp world. > In contrast, the principle "operations that would return > an integer out of range, return a nearby float instead" > is simple and easy to explain. Conversion to float is in general not a good idea, as I'm sure you're aware, since the semantics of floating point numbers is very different from the semantics of integers. So I'd rather not do it more than we currently do. Also, I'd rather not fix something that's not broken, and AFAIK the current inconsistent behavior has not caused any real problem. Stefan