drop typed_eid() in favour of int() (closes #2742462) [applied]