FLT_EXP_MASK       48 maint/gnulib/lib/float+.h   (FLT_EXP_MASK < 0x100 ? 8 : \
FLT_EXP_MASK       49 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x200 ? 9 : \
FLT_EXP_MASK       50 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x400 ? 10 : \
FLT_EXP_MASK       51 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x800 ? 11 : \
FLT_EXP_MASK       52 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x1000 ? 12 : \
FLT_EXP_MASK       53 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x2000 ? 13 : \
FLT_EXP_MASK       54 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x4000 ? 14 : \
FLT_EXP_MASK       55 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x8000 ? 15 : \
FLT_EXP_MASK       56 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x10000 ? 16 : \
FLT_EXP_MASK       57 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x20000 ? 17 : \
FLT_EXP_MASK       58 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x40000 ? 18 : \
FLT_EXP_MASK       59 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x80000 ? 19 : \
FLT_EXP_MASK       60 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x100000 ? 20 : \
FLT_EXP_MASK       61 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x200000 ? 21 : \
FLT_EXP_MASK       62 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x400000 ? 22 : \
FLT_EXP_MASK       63 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x800000 ? 23 : \
FLT_EXP_MASK       64 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x1000000 ? 24 : \
FLT_EXP_MASK       65 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x2000000 ? 25 : \
FLT_EXP_MASK       66 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x4000000 ? 26 : \
FLT_EXP_MASK       67 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x8000000 ? 27 : \
FLT_EXP_MASK       68 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x10000000 ? 28 : \
FLT_EXP_MASK       69 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x20000000 ? 29 : \
FLT_EXP_MASK       70 maint/gnulib/lib/float+.h    FLT_EXP_MASK < 0x40000000 ? 30 : \
FLT_EXP_MASK       71 maint/gnulib/lib/float+.h    FLT_EXP_MASK <= 0x7fffffff ? 31 : \