The boring budget: the numbers