Use 64-bit event numbers.
Merge pull request #6111 from vadler/73X-eventNumber32To64Bits

73X - event number 32 to 64 bits