Washington is budgeting a $5.1 billion taxpayer bailout for Fannie and Freddie

The housing finance world has long expected that Treasury would have to send some money back to the mortgage financiers, but a budget document out Monday quantifies that for the first time.