XrmDefinatelyTyped is generating a line that does not compile
getControl(controlName: "header_process_msevtmgt_eventtimezone"): Xrm.Control<Xrm.NumberAttribute | null> | null;
To Reproduce
This happens when Marketing / Customer Journey is installed
Expected behavior
msevtmgt_eventtimezone is not understood. It is a "Whole Number" with a "Time zone" format.
Screenshots

get(name: "header_process_msevtmgt_eventtimezone"): Xrm.Control<Xrm.NumberAttribute | null> | null;
Environment
- CRM Online
- XrmDefinatelyTyped v 6.4