I think I read they convert it instantly to dollars- this makes the accounting process much more straightforward for them otherwise they would face an accounting nightmare to calculate the capital gains taxes due as a result of every transaction relative to the usd/sats exchange rate at all the different time points.