public static void Subtract(uint[] x, uint[] y, uint[] z) { int num = Nat128.Sub(x, y, z); if (num != 0) { SecP128R1Field.SubPInvFrom(z); } }