I think he meant 7 billion and 3 billion. But the math on the BTC buy is right. The range of the upcoming purchase is likely between 90k and 135k BTC depending on the price and what % of the trading volume was made up by ATM sales.