Is there anything in the standard library or in Core that I can use to format integers with thousand separators?
Unfortunately, nothing, expect that you can use the %a format specifier and provide your own pretty-printer.
%a