nicer int2str