# 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