@jorisverwater, yep, here’s their answer:
The Currency Switcher saves the product prices as a JSON structure in custom product meta fields. Each product has one field for all its regular prices, and one for its sale prices. Each field contains multiple prices.
This design was chosen long ago, when we assumed that only our plugins would need to access the data. Besides, prices are not necessarily stored in the database, as they might be calculated automatically using exchange rates. Dye to that, you can’t just map custom export fields to product meta.
As of today, we are not aware of any feed plugin that supports the creation of feeds in multiple currencies (they don’t even support the selection of a currency when generating the feed). However, most of then can be customised.
To export the product prices in a specific currency, the easiest way would be to set the active currency using a filter (see https://aelia.freshdesk.com/support/solutions/articles/3000010676-how-to-change-the-selected-currency-via-code, example #3). You can check the documentation of your feed plugin of choice to see what would be the best way to pass the currency as a parameter (e.g via the URL).
After setting the currency, you can simply fetch the product prices as usual:
$product->get_regular_price()
$product->get_sale_price()
$product->get_price()
The Currency Switcher will return the prices in the active currency.