According to Bloomberg it would now cost $12.5 billion to buy ARM - a lot of dosh for a company with $600 million in revenues.
On the other hand the tech industry has a lot of dosh - apparently companies are sitting on a collective $276 billion of cash.