Constant GDK_KEY_Num_Lock 

pub const GDK_KEY_Num_Lock: c_int = 65407;