Change of the event number type to EventNumber_t