I believe he's just saying 50% of what is currently allocated for the military, so by your math, 8% of the federal budget.
Astronomy funding stagnates when its about rocks and geology. Bring real evidence of aliens into the mix and you've defined humanities focus for the next century.
We could develop our own alien life right on Earth within that timeframe.
E.g. Breakthrough Starshot can get us to many exoplanets within 20-30 years: https://en.wikipedia.org/wiki/Breakthrough_Starshot
It is ~4 ly away. If you're willing to go ~10 ly, you get 6 more stars to look at. And it gets far worse from there.
So that's 7 or more planets. That's many.
I agree with the text of your message; it just isn't an appropriate reply to what I said. In fact if such a thing was discovered I'd say all bets are off in terms of the response.