130a131,133
> /** Get interrupt number */
> uint32_t num() const { return intNum; }
>