History gnulib/float+.h