public static void AddOne(uint[] x, uint[] z) { Nat192.Copy(x, z); uint c = Nat192.Inc(z, 0); if (c != 0 || (z[5] == P5 && Nat192.Gte(z, P))) { Nat192.Sub(z, P, z); } }