public static DBInteger operator +(DBInteger x, DBInteger y) { return new DBInteger(x.Value + y.Value); }