Implement to_string().