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=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: 64-bit unsigned integer?
Date: Thu, 1 Mar 2018 10:16:05 +0200
Organization: Tidorum Ltd
Message-ID: <ffpr62F1cdeU1@mid.individual.net>
References: <e8c6d243-b919-4fc5-a6dc-aeb5e2042be9@googlegroups.com>
 <421d1598-68d7-4d0b-b596-6e9c59cf865c@googlegroups.com>
 <a0147c10-775c-49bf-a0e7-2091f31ac11a@googlegroups.com>
 <p724lq$2na$1@franka.jacob-sparre.dk> <877eqxe7u8.fsf@nightsong.com>
 <p77dgq$i6o$1@franka.jacob-sparre.dk> <87muzsz6s2.fsf@nightsong.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net b91EL0klNwdEU/H0p6g4pwinhYT/PZlBc6eIM/5SCtmSVzF2Ly
Cancel-Lock: sha1:fQUlacqTYZ6nG1OvWxiwHSY1L78=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:45.0)
 Gecko/20100101 Thunderbird/45.8.0
In-Reply-To: <87muzsz6s2.fsf@nightsong.com>
Xref: reader02.eternal-september.org comp.lang.ada:50733
Date: 2018-03-01T10:16:05+02:00
List-Id: <comp.lang.ada>

On 18-03-01 07:47 , Paul Rubin wrote:
> "Randy Brukardt" <randy@rrsoftware.com> writes:
>> One of the main reason for the change to libraries is that we have a number
>> of requests to add additional numeric functionality (unlimited-size integers
>> ["bignum"], saturation math)
>
> I'd imagine that in the Ada world, machine integers should have a more
> primitive status than that of bignums.

As long as the new numeric libraries let us write computations using the 
normal algebraic syntax (A * B + C), I have nothing against library 
solutions.

> That's because bignum arithmetic
> can allocate hard-to-predict amounts of memory and take unknown runtime,
> in tension with Ada's emphasis on resource control and realtime
> predictability.

Following the trend set by recent Ada standard extensions, there could 
be a "bounded" version of the "bignum" library.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .