updating NumerIntEX4