| Commit message (Expand) | Author | Age | Files | Lines |
| * | fix FLT_ROUNDS to reflect the current rounding mode•••Implemented as a wrapper around fegetround introducing a new function
to the ABI: __flt_rounds. (fegetround cannot be used directly from float.h)
| Szabolcs Nagy | 2015-03-07 | 1 | -0/+3 |
| * | add C11 floating-point characteristic macros to float.h•••C11 introduced *_DECIMAL_DIG and *_HAS_SUBNORM macros.
| Szabolcs Nagy | 2014-08-27 | 1 | -0/+7 |
| * | write floating point limit constants to 21 significant decimal places•••this is enough to produce the correct value even if the constant is
interpreted as 80-bit extended precision, which matters on archs with
excess precision (FLT_EVAL_METHOD==2) under at least some
interpretations of the C standard. the shorter representations, while
correct if converted to the nominal precision at translation time,
could produce an incorrect value at extended precision, yielding
results such as (double)DBL_MAX != DBL_MAX.
| Rich Felker | 2013-11-20 | 1 | -8/+8 |
| * | add FLT_TRUE_MIN, etc. macros from C11•••there was some question as to how many decimal places to use, since
one decimal place is always sufficient to identify the smallest
denormal uniquely. for now, I'm following the example in the C
standard which is consistent with the other min/max macros we already
had in place.
| Rich Felker | 2013-05-17 | 1 | -0/+2 |
| * | fix DECIMAL_DIG definitions•••DECIMAL_DIG is not the same as LDBL_DIG
type_DIG is the maximimum number of decimal digits that can survive a
round trip from decimal to type and back to decimal.
DECIMAL_DIG is the minimum number of decimal digits required in order
for any floating point type to survive the round trip to decimal and
back, and it is generally larger than LDBL_DIG. since the exact
formula is non-trivial, and defining it larger than necessary may be
legal but wasteful, just define the right value in bits/float.h.
| Rich Felker | 2012-03-21 | 1 | -2/+0 |
| * | initial check-in, version 0.5.0 | Rich Felker | 2011-02-12 | 1 | -0/+34 |