Details about the event, depending on the event type.
See developer.mozilla.org/en-US/docs/Web/API/UIEvent/detail
external num get detail;