Von einen Tag auf den anderen (oder evtl. nach einen Update, das weiß man nie so ganz sicher ;-) geht der Ziffernblock nicht mehr. Nach ein wenig Recherche war das Problem, tatsächlich gefunden.
Der Ziffernblock war auf Maussteuerung umgeschaltet.
Unter Einstellungen -> Tastatur -> Maustasten -> „Mauszeiger per Tastatur steuern“ deaktivieren und schon ist das Problem gelöst. Da soll man mal drauf kommen.