/* __fmaxf is in s_fmax.c  */