Fix mknum from mniip.