Support for bitwise comparison of floating-point numbers.

[gnulib.git] / lib / printf-frexp.c

diff --git a/lib/printf-frexp.c b/lib/printf-frexp.c
index 427ee94..e6032a4 100644 (file)
--- a/lib/printf-frexp.c
+++ b/lib/printf-frexp.c
@@ -28,10 +28,10 @@
 
 # include <float.h>
 # include <math.h>
-# include "verify.h"
 
-/* This file assumes FLT_RADIX is 2.  */
-verify (FLT_RADIX == 2);
+/* This file assumes FLT_RADIX = 2.  If FLT_RADIX is a power of 2 greater
+   than 2, or not even a power of 2, some rounding errors can occur, so that
+   then the returned mantissa is only guaranteed to be <= 2.0, not < 2.0.  */
 
 # ifdef USE_LONG_DOUBLE
 #  define FUNC printf_frexpl