40 billion as a number