BUG: Ctrl + Numpad Number is interpreted as corresponding regular number

On macOS Catalina, Ctrl + Numpad-number will trigger any shortcut assigned to the regular number.

Nuendo is the only application that behaves this way, and I’ve double checked the Keyboard Shortcuts in system preferences/accessibility settings, Karbiner and Keyboard Maestro which all interprets Ctrl + number as just that.