add string-to-int