class Integer extends Number {
	int i;

	Integer(int i) {
		this.i = i;
	};

	Number add(Number n) {
		return n instanceof Integer
			? (Number) new Integer(i + ((Integer) n).i)
			: (Number) new Real(i + ((Real) n).r);
	};

	public String toString() {
		return i + ": Integer";
	};
};