Use EventID::event_number_t rather than EventID::number_type for event numbers
This is to allow event numbers larger than INT_MAX to be treated correctly by the EventLoopMgr classes. There may still be other places where inconsistent types are used for event numbers, but this is at least a start.