J.3 Reduced Accuracy Subtypes
may be used to define a floating point subtype with a new value for its
requested decimal precision, as reflected by its Digits attribute. Similarly,
may be used to define an ordinary fixed point subtype with a new value
for its delta
, as reflected by its Delta attribute.
Name Resolution Rules
with a floating point subtype if the value of the
is no greater than the requested decimal precision of the subtype, and
if any, is compatible with the subtype.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe