the even one and adjust the corresponding coefficient. if u.IsOdd() == no { rshift1(u, 0) if A.IsOdd() == yes || B.IsOdd() == yes { rshift1(A, A.add(m)) rshift1(B, B.add(a)) } else { rshift1(A, 0) rshift1(B, 0) } } else { // v.IsOdd() == no rshift1(v, 0) if C.IsOdd() == yes || D.IsOdd() == yes { rshift1(C, C.add(m)) rshift1(D, D.add(a)) } else { rshift1(C, 0) rshift1(D, 0) } } if v.IsZero() == yes { return u, A, nil } } } //go:norace func rshift1(a *Nat, carry uint) { size := len(a.limbs) aLimbs :=...