public static void Negate(uint[] x, uint[] z) { if (Nat256.IsZero(x)) { Nat256.Zero(z); } else { Nat256.Sub(P, x, z); } }