the current number is around 12.5% of the federal budget (2025 Administration budget, discretionary & non-discretionary).