Also fractionally larger than the current Davis and friends budget.
Of course, the net sum zero crowd will point out that a budget that isn't substantially increase from last year is "really" a cut in spending because it doesn't allow for the inevitable spending increases that result from higher populations and the God given right for governments to grow but I'm too old to buy that nonsense.