fixed Int.to_string()