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=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!fdn.fr!gegeweb.org!aioe.org!nospam
From: "John B. Matthews" <nospam@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Range excluding 0.0
Date: Sat, 29 Aug 2009 09:46:15 -0400
Organization: The Wasteland
Message-ID: <nospam-5846FD.09461529082009@news.aioe.org>
References: 
 <6f1ce89e-7889-4d58-b0f8-1945727f5149@f33g2000vbm.googlegroups.com>
NNTP-Posting-Host: LQJtZWzu+iKlBROuDg+IUg.user.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
X-Notice: Filtered by postfilter v. 0.8.0
Cancel-Lock: sha1:XvDsogi7TiXqET8Bn++Z2WdAwUU=
User-Agent: MT-NewsWatcher/3.5.3b3 (Intel Mac OS X)
Xref: g2news2.google.com comp.lang.ada:8047
Date: 2009-08-29T09:46:15-04:00
List-Id: <comp.lang.ada>

In article 
<6f1ce89e-7889-4d58-b0f8-1945727f5149@f33g2000vbm.googlegroups.com>,
 vlc <just.another.spam.account@googlemail.com> wrote:

> I would like to declare a subtype of Float which ranges from 0.0
> (excluded) to Float'Last. Is there a way to exclude the 0.0 from the
> range?

Perhaps something like this:

subtype Non_Zero is Float range Float'Succ(0.0) .. Float'Last;

The range on my implementation is 1.40130E-45 to 3.40282E+38.

-- 
John B. Matthews
trashgod at gmail dot com
<http://sites.google.com/site/drjohnbmatthews>