From: MM <mrvmurray@gmail.com>
Subject: Re: 64-bit unsigned integer?
Date: Sun, 25 Feb 2018 09:31:45 -0800 (PST)
Date: 2018-02-25T09:31:45-08:00 [thread overview]
Message-ID: <a0147c10-775c-49bf-a0e7-2091f31ac11a@googlegroups.com> (raw)
In-Reply-To: <421d1598-68d7-4d0b-b596-6e9c59cf865c@googlegroups.com>
On Sunday, 25 February 2018 16:36:47 UTC, Anh Vo wrote:
> On Sunday, February 25, 2018 at 4:30:59 AM UTC-8, MM wrote:
> > I tried
> >
> > type u64 is range 0 .. 2**64-1; -- this fails with "integer type definition bounds out of range".
> >
>
> It should be: type u64 is range 0 .. 2 **63 - 1;
That is a 63-bit unsigned, no?
> This is max that GNAT can support on 64 bit architecture.
Apparently :-)
> ... In addition, this is similar to Natural subtype. Look at the standard package for this info.
Will do, thanks.
M
--
next prev parent reply other threads:[~2018-02-25 17:31 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-25 12:30 64-bit unsigned integer? MM
2018-02-25 12:41 ` Dmitry A. Kazakov
2018-02-25 12:54 ` MM
2018-02-25 13:23 ` Dmitry A. Kazakov
2018-02-25 13:59 ` MM
2018-02-25 14:20 ` Dmitry A. Kazakov
2018-02-25 15:34 ` MM
2018-02-25 16:35 ` Jeffrey R. Carter
2018-02-25 16:36 ` Anh Vo
2018-02-25 17:31 ` MM [this message]
2018-02-26 23:19 ` Randy Brukardt
2018-02-26 23:33 ` MM
2018-02-28 10:17 ` Paul Rubin
2018-02-28 10:39 ` J-P. Rosen
2018-02-28 10:59 ` Dmitry A. Kazakov
2018-02-28 23:20 ` Randy Brukardt
2018-03-01 5:47 ` Paul Rubin
2018-03-01 8:16 ` Niklas Holsti
2018-03-01 8:35 ` Simon Wright
2018-03-01 8:47 ` Dmitry A. Kazakov
2018-03-01 18:15 ` Dan'l Miller
2018-03-01 19:10 ` Dmitry A. Kazakov
2018-03-01 19:22 ` Dan'l Miller
2018-03-01 19:59 ` Dmitry A. Kazakov
2018-03-01 20:32 ` Dan'l Miller
2018-03-01 21:15 ` Dmitry A. Kazakov
2018-03-01 22:23 ` Randy Brukardt
2018-03-01 23:50 ` Robert Eachus
2018-03-01 20:06 ` Niklas Holsti
2018-03-01 22:04 ` Randy Brukardt
2018-02-26 6:45 ` Robert Eachus
2018-02-27 16:40 ` Dan'l Miller
2018-02-27 17:18 ` J-P. Rosen
2018-02-27 18:17 ` Dan'l Miller
2018-02-28 3:03 ` Robert Eachus
2018-02-28 6:41 ` J-P. Rosen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox