comparing Integers by means of "equal"