The following issue has been SUBMITTED.
======================================================================
https://austingroupbugs.net/view.php?id=1839
======================================================================
Reported By: geoffclare
Assigned To:
======================================================================
Project: 1003.1(2024)/Issue8
Issue ID: 1839
Category: Base Definitions and Headers
Type: Error
Severity: Editorial
Priority: normal
Status: New
Name: Geoff Clare
Organization:
User Reference:
Section: <float.h>
Page Number: 258, 259
Line Number: 9050-9051, 9081
Interp Status: ---
Final Accepted Text:
======================================================================
Date Submitted: 2024-07-04 10:02 UTC
Last Modified: 2024-07-04 10:02 UTC
======================================================================
Summary: Incorrect use of "sup" in FLT_MIN eqn formula
Description:
In the troff source the eqn formula for FLT_MIN is given as:
b sup { e sub min ~ sup -1 }
which says "e sub min" should be raised to the power -1 instead of having 1
subtracted from it. Careful examination of the resulting formula in the
PDF shows the -1 is higher than it should be.
The same mistake appears in part of the FLT_MIN_10_EXP formula.
This can be treated as editorial, since it is clear from the normative text
at line 9044 that "e sub min" is:<blockquote>Minimum negative integer such
that FLT_RADIX raised to that power minus 1 is a normalized floating-point
number</blockquote>
(Also C17 has the correct formula, and the standard defers to C17 on
this.)
Desired Action:
In the troff source, change the two occurrences of:<blockquote>e sub min ~
sup -1</blockquote>to:<blockquote>e sub min - 1</blockquote>
======================================================================
Issue History
Date Modified Username Field Change
======================================================================
2024-07-04 10:02 geoffclare New Issue
2024-07-04 10:02 geoffclare Name => Geoff Clare
2024-07-04 10:02 geoffclare Section => <float.h>
2024-07-04 10:02 geoffclare Page Number => 258, 259
2024-07-04 10:02 geoffclare Line Number => 9050-9051, 9081
2024-07-04 10:02 geoffclare Interp Status => ---
======================================================================
