`%s` uses the string representation, so no need for explicit cast.