What's interesting are a couple of things:
Total Output
739.99999747 BTC
Fees
0.00000253 BTC
He used a "subtract fee from amount" thing, which leads me to believe he used Bitcoin Core wallet.
And, the fee is 8 cents to move a few million dollars.
He probably cashed out 100 of that, and the rest goes into cold storage or into a native segwit address.