$85.4 billion