結果 : how to cast an integer as a string in python