Public debt in billions of dollars