Avoid possible collision between gnulib frexpl and libm frexpl.