if (this == topValue) return "(TOP)"; else if (this == bottomValue) return "(BOTTOM)"; else if (this == defaultValue) return "(DEFAULT)"; else return "(" + number + ")";
return "(" + number + ")";
	public String toString() {		if (this == topValue)			return "(TOP)";		else if (this == bottomValue)			return "(BOTTOM)";		else if (this == defaultValue)			return "(DEFAULT)";		else			return "(" + number + ")";	}