Não está definido no teclado dos EUA que eu uso, mas você pode defini-lo assim:
key <NMLK> { [ Num_Lock, KP_End, KP_1, KP_Divide ] };
Se nenhuma tecla tiver Num_Lock como seu símbolo não modificado, parece que você não poderá definir o modificador NumLock, nem mesmo programaticamente com algo como numlockx .