"1234567889" to-int 1 + to-string