Dessa äro de sista officiella siffrorna i budgeten.