Obama’s budget in one number.