public Int(int value) { this.value = value; setLowerBound(Integer.MIN_VALUE); setUpperBound(Integer.MAX_VALUE);
public Int() { this(Integer.MIN_VALUE, Integer.MAX_VALUE);
	public Int(int value) {		this.value = value;		setLowerBound(Integer.MIN_VALUE);		setUpperBound(Integer.MAX_VALUE);	}