The raise could end up being for FTX International and FTX US combined.