CVS difference for ai22s/ai22-0057-1.html

Differences between 1.3 and version 1.4
Log of other versions for file ai22s/ai22-0057-1.html

--- ai22s/ai22-0057-1.html	2023/07/12 01:01:03	1.3
+++ ai22s/ai22-0057-1.html	2023/09/08 00:32:34	1.4
@@ -1,4 +1,4 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0057-1/03</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0057-1/04</title>
 <style type="text/css">
 table td,table th{padding:0}
 BODY.body{background-color:#ffffff; max-width:468pt; padding:72pt 72pt 72pt 72pt}
@@ -16,8 +16,8 @@
 </style>
 </head><body class="body"><p class="l3h">AI22-0057-1</p>
 <p class="head">!standard A.5.4(4) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;23-06-29
-&nbsp;AI22-0057-1/03</p>
+&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;23-08-25
+&nbsp;AI22-0057-1/04</p>
 <p class="head">!class Amendment 23-01-11</p>
 <p class="head">!status Corrigendum 1-2022 &nbsp;23-06-29</p>
 <p class="head">!status ARG Approved &nbsp;9-0-0 &nbsp;23-06-11</p>
@@ -30,7 +30,7 @@
 <p class="text">Floor, Ceiling, and rounding attributes are supported for fixed point types.</p>
 <h2 class="head">!issue</h2>
 <p class="text">There is a growing interest in fixed-point with the emergence of machine learning
-and GPUs. It is nice if an algorithm can be moved between fixed and float without significant
+and GPUs. It is convenient if an algorithm can be moved between fixed and float without significant
 re-engineering. However, the attributes Floor, Ceiling, Rounding, Unbiased_Rounding,
 Machine_Rounding, and Truncation are missing for fixed point types. This forces unnecessary
 conversions to floating point types, which can themselves introduce rounding effects.</p>
@@ -43,7 +43,7 @@
 the reciprocal of an integer. A generic formal type is defined to have integral values.</p>
 
 <p class="inds">[Author&rsquo;s note: This wording echoes that of G.2.3(21/5); that wording dates
-to Ada 95.]</p>
+from Ada 95.]</p>
 
 <p class="wrds">The following primitive function attributes are defined for any subtype S of a
 fixed point type T that has integral values:</p>
@@ -145,8 +145,8 @@
 <p class="text">&nbsp;</p>
 <p class="txts">The purpose of this expression is to ensure that 2.5 rounds down so that A = 2. But
 here, the result of Horrible&#39;Floor(Obj) would be 2.5, meaning that the default rounding of the
-integer conversion would be used - which is defined by 4.6(33) as round away from zero. Thus A will
-be 3, even though the user carefully wrote the expression needed to prevent that.</p>
+integer conversion would be used &ndash; which is defined by 4.6(33) as round away from zero. Thus
+A will be 3, even though the user carefully wrote the expression needed to prevent that.</p>
 
 <p class="txts">Note that if the Small is itself an integer, these attributes are identity
 functions, so these can be allowed.</p>

Questions? Ask the ACAA Technical Agent