int -> intE