putting mal_plusnum to mal
[xorg/xkeyboard-config] / symbols / div
2005-07-24  svufixing #3716