From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,17e9efb0492e0d7b
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-01-13 07:56:21 PST
Newsgroups: comp.lang.ada
Path: 
 nntp.gmd.de!newsserver.jvnc.net!news.cac.psu.edu!news.pop.psu.edu!hudson.lm.com!godot.cc.duq.edu!newsfeed.pitt.edu!uunet!zib-berlin.de!news.belwue.de!news.informatik.uni-stuttgart.de!spiegel
From: spiegel@bruessel.informatik.uni-stuttgart.de (Andre Spiegel)
Subject: Re: Large Integers?
In-Reply-To: eachus@spectre.mitre.org's message of 11 Jan 1995 14:50:36 GMT
    [ 11 Jan 1995 15:50:36 MET ]
Message-ID: 
 <SPIEGEL.95Jan13165621@berlin.bruessel.informatik.uni-stuttgart.de>
Sender: news@informatik.uni-stuttgart.de
Organization: University of Stuttgart, Germany
References: 
 <SPIEGEL.95Jan10115602@berlin.bruessel.informatik.uni-stuttgart.de>
	<EACHUS.95Jan11095036@spectre.mitre.org>
Date: Fri, 13 Jan 1995 15:56:21 GMT
Date: 1995-01-13T15:56:21+00:00
List-Id: <comp.lang.ada>

In article <EACHUS.95Jan11095036@spectre.mitre.org> eachus@spectre.mitre.org (Robert I. Eachus) writes:

>     If all you are doing is counting, ANY 64-bit floating point type
> will fill your needs.  Integers are always model numbers, and thus
> exact, up to 2**Float_Type'MANTISSA, which should give more than your
> required 40 bits.  You only need the ADAR packages if you need integer
> semantics for division.

  That's an interesting suggestion. I really hadn't thought of this,
probably because of a general mistrust concerning floating point
arithmetic. It's just that it requires minor changes to my I/O
routines, because I don't want the trailing ".0". So I would have to
strip it before actually writing the "Image" of the number, and supply
such a suffix before trying to read it back. A little unelegant. Or is
there any way to configure Float_IO such that it doesn't add/expect
the zero fractional part? I don't think so. It might also be a
somewhat less efficient than using an integer package.

  Thanks a lot, though. Seems like I didn't *really* know precisely
what I need...

--
Andre Spiegel                     |  This life is a test. It is only a test.
                                  |  Had this been an actual life, you would
University of Stuttgart, Germany  |  have received further instructions as to
Computer Science                  |  where to go and what to do.
                                                            -- Author unknown

	   email: spiegel@bruessel.informatik.uni-stuttgart.de