/* __ieee754_sqrtf is in w_sqrtf.c  */