Suppose an economy has a GDP of $10 trillion, and that its national saving rate is 20%. If investment is 25% of GDP, the value of net exports is ________.