$488.4 billion