View Issue Details

Jump to NotesJump to History
IDProjectCategoryView StatusDate SubmittedLast Update
00018391003.1(2024)/Issue8Base Definitions and Headerspublic2024-07-04 10:022025-06-05 13:56
Reportergeoffclare Assigned Togeoffclare  
PrioritynormalSeverityEditorialTypeError
Status AppliedResolutionAccepted 
NameGeoff Clare
Organization
User Reference
Section<float.h>
Page Number258, 259
Line Number9050-9051, 9081
Interp Status---
Final Accepted Text
Summary0001839: Incorrect use of "sup" in FLT_MIN eqn formula
DescriptionIn 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:
Minimum negative integer such that FLT_RADIX raised to that power minus 1 is a normalized floating-point number

(Also C17 has the correct formula, and the standard defers to C17 on this.)
Desired ActionIn the troff source, change the two occurrences of:
e sub min ~ sup -1
to:
e sub min - 1

Tagstc1-2024

Activities

There are no notes attached to this issue.

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 => ---
2024-07-11 15:55 Don Cragun Status New => Resolved
2024-07-11 15:55 Don Cragun Resolution Open => Accepted
2024-07-11 15:55 Don Cragun Tag Attached: tc1-2024
2025-06-05 13:54 geoffclare Assigned To => geoffclare
2025-06-05 13:56 geoffclare Status Resolved => Applied