Submitter: Fred J. Tydeman
Submission Date: 2014-09-26

Summary

Details

The math formula is correct, while the words are missing 'normalized'. Now, in the floating-point model in paragraph 2, it did not matter.

However, if long double is a pair of doubles (not matching the model in paragraph 2), then 'least value greater than 1 that is representable in the given floating point type' is (for double) 1.0+DBL_TRUE_MIN. That makes the difference DBL_TRUE_MIN, which is not the same at the math formula (b to the power (1-p)).

Suggested Technical Corrigendum

In 5.2.4.2.2#12, add 'normalized' between 'least and 'value.