fix Int.String() bug.