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