public override ECFieldElement Add(ECFieldElement b) { ulong[] z = Nat256.Create64(); SecT233Field.Add(x, ((SecT233FieldElement)b).x, z); return(new SecT233FieldElement(z)); }