diff options
| -rw-r--r-- | src/get_flt.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/get_flt.c b/src/get_flt.c index b1cf41e5f..07b71206d 100644 --- a/src/get_flt.c +++ b/src/get_flt.c @@ -49,6 +49,9 @@ mpfr_get_flt (mpfr_srcptr src, mpfr_rnd_t rnd_mode) if (MPFR_UNLIKELY(rnd_mode == MPFR_RNDA)) rnd_mode = negative ? MPFR_RNDD : MPFR_RNDU; + /* FIXME: The code below assumes the IEEE-754 binary32 format + with subnormal support. */ + /* the smallest positive normal float number is 2^(-126) = 0.5*2^(-125), and the smallest positive subnormal number is 2^(-149) = 0.5*2^(-148) */ if (MPFR_UNLIKELY (e < -148)) |