/* __fminf is in s_fmin.c  */