The federal debt ceiling is increasing