CI4: Export of Customer Data to JSON format does not respect numberformat local

[objecttothis]

numberformat
thousands separator: period .
decimal separator: comma ,

In the customer view, if you click the export icon and choose JSON, the resulting JSON for the amount spent strips the comma (decimal separator) and treats the period (thousands separator) like a decimal.

The functionality is implemented by Bootstrap Table https://bootstrap-table.com/versions/1.15.5/. I wonder if a newer version is needed?

[objecttothis]

I updated the bootstrap-table dependency in npm to 1.22.1 (latest) but no immediate effect. I probably need to log the data that gets sent to it to see if it's the json-encoded data that is a problem. I suspect it might be.