2025 nominal GDP in current U.S. dollars, rounded to the nearest $0.1 trillion