From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: "Stephen J. Turnbull" Newsgroups: gmane.emacs.devel Subject: Re: integer overflow Date: Mon, 08 Mar 2010 02:18:48 +0900 Message-ID: <87d3zgt5hj.fsf@uwakimon.sk.tsukuba.ac.jp> References: <4B8147A9.7030504@gmail.com> <87ljemdzxo.fsf@stupidchicken.com> <4B83682D.5010804@gnu.org> <87vddmpw4s.fsf@stupidchicken.com> <87hbp2fwoi.fsf@gnu.org> <87wrxrr4md.fsf@gnu.org> <3vsk8ecg6a.fsf@fencepost.gnu.org> <873a0euot4.fsf@stupidchicken.com> <873a0cyv3r.fsf@lola.goethe.zz> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1267982774 12933 80.91.229.12 (7 Mar 2010 17:26:14 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sun, 7 Mar 2010 17:26:14 +0000 (UTC) Cc: emacs-devel@gnu.org To: David Kastrup Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Mar 07 18:26:10 2010 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1NoKEk-00037p-Pf for ged-emacs-devel@m.gmane.org; Sun, 07 Mar 2010 18:25:55 +0100 Original-Received: from localhost ([127.0.0.1]:32872 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NoKEk-0007ye-3O for ged-emacs-devel@m.gmane.org; Sun, 07 Mar 2010 12:25:54 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1NoKEe-0007yW-BJ for emacs-devel@gnu.org; Sun, 07 Mar 2010 12:25:48 -0500 Original-Received: from [140.186.70.92] (port=44928 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NoKEd-0007yO-4n for emacs-devel@gnu.org; Sun, 07 Mar 2010 12:25:47 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1NoKEc-0002dw-Iu for emacs-devel@gnu.org; Sun, 07 Mar 2010 12:25:47 -0500 Original-Received: from mtps02.sk.tsukuba.ac.jp ([130.158.97.224]:47067) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1NoKEa-0002dE-4R; Sun, 07 Mar 2010 12:25:44 -0500 Original-Received: from uwakimon.sk.tsukuba.ac.jp (uwakimon.sk.tsukuba.ac.jp [130.158.99.156]) by mtps02.sk.tsukuba.ac.jp (Postfix) with ESMTP id 997B3820D; Mon, 8 Mar 2010 02:08:21 +0900 (JST) Original-Received: by uwakimon.sk.tsukuba.ac.jp (Postfix, from userid 1000) id 2DD321A382A; Mon, 8 Mar 2010 02:18:49 +0900 (JST) In-Reply-To: <873a0cyv3r.fsf@lola.goethe.zz> X-Mailer: VM 8.0.12-devo-585 under 21.5 (beta29) "garbanzo" a03421eb562b XEmacs Lucid (x86_64-unknown-linux) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6, seldom 2.4 (older, 4) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:121705 Archived-At: David Kastrup writes: > Richard Stallman writes: > > > I have heard that Guile now supports Emacs Lisp. And it has bignums. > > So if we make Emacs use Guile, that will automatically provide > > bignums. > > My first reaction to that would be "Whoa, whoa, whoa!". > > The second that "librep" might be an easier starting point for migrating > the Lisp engine. For bignums, XEmacs or SXEmacs might be easier yet. The work of integrating bignums (GNU MP and BSD MP are both supported as compile-time options) was done by Jerry James. He is probably *not* available any time soon (his day job just turned into a day-and-night job) but the pedigree of the code is easily established and he and other contributors probably would be willing to sign papers. I believe SXEmacs supports quaternions and Gaussian integers, and perhaps even more exotic number systems. :-) However, I have no idea whether the SXEmacs folks would be willing to assign their contributions. However, this is all kind of irrelevant. Using bignums as pure numbers is relatively easy. The hard part is introducing them as numerical components of internal Emacs structures (buffer size and positions, markers, overlays, text properties), and integrating them with niceties like (system-dependent) large file support, etc. This is in no way an automatic consequence of language support for bignums.