Wow. that puts him in the top 30 richest people on earth...according to https://www.forbes.com/real-time-billionaires/#233e45c53d78 which i randomly googled.