w3
w3 = 7.93650558643019558500e-04, /* 0x3F4A019F, 0x98CF38B6 */
w = w0+z*(w1+y*(w2+y*(w3+y*(w4+y*(w5+y*w6)))));
w = w0+z*(w1+y*(w2+y*(w3+y*(w4+y*(w5+y*w6)))));
w3 = 7.9365057172e-04, /* 0x3a500cfd */
w3 = 7.936507795855070755671E-4L,
+ y * (w2 + y * (w3 + y * (w4 + y * (w5 + y * (w6 + y * w7))))));
int w1, w2, w3;
w3 = v1 - v2;
if (w1 >= w3)
if (w2 >= w3)