I suppose we may as well use stdlib_format here since that's what we use for the other two section.