poly_2xm1
extern int poly_2xm1(u_char sign, FPU_REG * arg, FPU_REG *result);
poly_2xm1(getsign(st0_ptr), &a, st0_ptr);