public static void Half(uint[] x, uint[] z) { if ((x[0] & 1) == 0) { Nat224.ShiftDownBit(x, 0, z); } else { uint c = Nat224.Add(x, P, z); Nat224.ShiftDownBit(z, c, z); } }