Your comment would make sense if military spending were an order of magnitude higher. As it is only 5% of GDP, it is hardly enough to have much effect on total

Your comment would make sense if military spending were an order of magnitude higher. As it is only 5% of GDP, it is hardly enough to have much effect on total hours worked.