It's the rumoured budget, there's nothing else to go off. This would be the initial budget going into April, who knows how much they can add in late July, this stuff has been noted on many occasions through media links, no one knows, nor should they.