if you get num lock not working once the GNOME session starts, you can fix the problem by following:
0. Go to System - Preferences - Keyboard 1. On "Mouse Keys" uncheck / disable "Pointer can be controlled using the keypad" 2. Close the Keyboard Preferences