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.1 required=5.0 tests=BAYES_40,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!attcan!uunet!husc6!bloom-beacon!oberon!bbn!inmet!ishmael!inmet!ada-uts!stt
From: stt@ada-uts
Newsgroups: comp.lang.ada
Subject: Re: Type NATURAL isn't
Message-ID: <57900076@ada-uts>
Date: 28 Jun 88 17:15:00 GMT
References: <9072@lll-winken.llnl.gov>
Nf-ID: #R:lll-winken.llnl.gov:-907200:ada-uts:57900076:000:516
Nf-From: ada-uts!stt    Jun 28 13:15:00 1988
List-Id: <comp.lang.ada>


In most high school mathematics texts, "Natural" starts at 1.
I think once you get into most grad schools, zero has been given
full "natural" status.  "Whole" numbers included all of the
positive and negative integers in at least one text.
And for many friends of 2's complement notation, "positive"
includes zero.

Probably the right names for the STANDARD
integer subtypes would have been:
  "Zero_Dot_Dot_Integer_Tic_Last"
and
  "One_Dot_Dot_Integer_Tic_Last"

Tucker Taft
Intermetrics, Inc.
Cambridge, MA  02138