Should we use our new `to-string()` function here?