I bet they had 4,294,967,290 for the down payment, then various investments along the way.