string-integer conversion