[Cfp-interest 2477] Fwd: N2912 review comments JT-070 and JT-071

[Jim Thomas]

> Begin forwarded message:
> 
> From: Jim Thomas <jaswthomas at sbcglobal.net>
> Subject: N2912 review comments JT-070 and JT-071
> Date: July 30, 2022 at 2:22:01 PM PDT
> To: JeanHeyd Meneide <phdofthehouse at gmail.com>
> Cc: "Fred J. Tydeman" <tydeman at tybor.com>, Rajan Bhakta <rbhakta at us.ibm.com>
> 
> Hi JeanHeyd,
> 
> Two things:
> 
> 
> JT-070 In 7.12.9.10#2 (twice), F.10.6.10#1 (twice), F.10.6.11#1 (once), “width” should have the appropriate typeface for a function prototype parameter. Similarly for “round” in the next to last sentence of 7.12.9.10#2.
> 
> 
> JT-071 For editorial completeness and consistency (with F.10.6.10), in F.10.6.11, insert after “…  and return a NaN” the words: "if the argument width is zero or” (where width has prototype parameter typeface). This is not a new requirement (i.e. not a substantive change): 
> 
> 7.12.9.10 says “… if width is zero or x does not round to an integer within the range, the functions return a NaN (of the type of the x argument, if available), …”.
> 
> 7.12.9.11 says "The fromfpx and ufromfpx functions differ from the fromfp and ufromfp functions, respectively, only in that the fromfpx and ufromfpx functions raise the "inexact" floating-point exception if a rounded result not exceeding the specified width differs in value from the argument x.” 
> 
> Therefore 7.12.9.11 adopts by reference the 7.12.9.10 specification for width equal zero. The F.10.6 subclauses repeat this specification. (The general approach in F.10 its to list all the special cases, even when they are already covered in 7.12.)
> 
> 
> - Jim Thomas

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20220730/fdb3fae7/attachment.htm>