Int clone = new Int();  clone.setLowerBound(this.getLowerBound()); clone.setUpperBound(this.getUpperBound()); clone.value = this.value;  return clone;
return new Int(this);
	public Int clone() {		Int clone = new Int();				clone.setLowerBound(this.getLowerBound());		clone.setUpperBound(this.getUpperBound());		clone.value = this.value;				return clone;	}