History gnulib/lib/float+.h