First, it boots up with Numlock turned off.

It remembers the state of Num Lock at the point that you either logged off (in which case it'll restore it when you log back in) or when you shut down (in which case, it'll restore it when it boots). The BIOS setting (as you saw) is ignored.

_________________________
-- roger