/* __ieee754_sqrt is in w_sqrt.c  */