Micro-optimize num2str()