Hi Jonathan,

On Wed, Nov 13, 2024 at 11:47:14AM GMT, Jonathan Wakely wrote:

On Wed, 13 Nov 2024 at 11:38, Alejandro Colomar [off-list ref] wrote:

quoted

On Wed, Nov 13, 2024 at 02:11:52AM GMT, Ken Pizzini wrote:

quoted

-The digit before the decimal point is unspecified for nonnormalized
+The digit before the radix point is unspecified for nonnormalized
 numbers, and nonzero but otherwise unspecified for normalized numbers.
-The exponent always contains at least one
+The exponent
+.IR d ,

If there's a comma after d then shouldn't there be one before it too?

Agree.  Thanks!

So either "The exponent, d, is ..." or just "The exponent d is ..."

But not "The exponent d, is ..."

Have a lovely day!
Alex

-- 
<https://www.alejandro-colomar.es/>