}
static mp *fadd(field *ff, mp *d, mp *x, mp *y) {
fctx_prime *f = (fctx_prime *)ff; d = mp_add(d, x, y);
if (MP_NEGP(d)) d = mp_add(d, d, f->mm.m);
}
static mp *fadd(field *ff, mp *d, mp *x, mp *y) {
fctx_prime *f = (fctx_prime *)ff; d = mp_add(d, x, y);
if (MP_NEGP(d)) d = mp_add(d, d, f->mm.m);