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_20,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!caip!pyrnj!mirror!gabriel!ada-uts!stt
From: stt@ada-uts
Newsgroups: net.lang.ada
Subject: Re: The AFT Attribute
Message-ID: <4700076@ada-uts>
Date: Mon, 22-Sep-86 08:44:00 EDT
Article-I.D.: ada-uts.4700076
Posted: Mon Sep 22 08:44:00 1986
Date-Received: Tue, 23-Sep-86 22:16:05 EDT
References: <20@<12239247219>
Nf-ID: #R:<12239247219:-2000:ada-uts:4700076:37777777600:700
Nf-From: ada-uts!stt    Sep 22 08:44:00 1986
List-Id: <comp.lang.ada>


In 3.5.10:9, the RM says "T'AFT yields the number of decimal
digits needed after the point to accommodate the precision
of the subtype T,..."  The key word is "accommodate," which is being
used in a way that is consistent with the definition of
DELTA itself, namely that the DELTA represents an upper bound
on the actual delta.  For T'AFT, it is an upper bound on the
value of a 1 in the last position.  In your example, the
relevant equation is that 0.01 <= 0.0625, not that the
decimal expansion of 1/16 requires 4 digits.  Otherwise,
imagine what the T'AFT would be for 1/3.

By the way, T'AFT is my favorite attribute.
-S. Tucker T'aft
 Intermetrics, Inc.
 733 Concord Ave.
 Cambridge, MA  02138