$88.4 billion