Correct compile error in int_to_string