float: Fix compilation error when gnulib's float.h exists twice, part 2.