NUMLOCK Turned Off At Duo Splash Screen

NUMLOCK is enabled in BIOS and in Windows and is automatically on when in the BIOS setup and Windows. But it is somehow disabled at the DUO splash screen.

We have all Dell computers, so it could be just a Dell thing.

Has anyone else seen this behavior?