Use our new `default_formatter` API.