Add link to the original source code of the int2str converter.