$88.5 billion