It does seem like a lot to give up for Machado, but what is a postseason run worth? There comes a point where you can collect all of these prospects - some that may never meet their potential - but they need to go for it while they can. The NL is wide open this year and adding a guy like Machado could be enough to make them the team to beat.
Not sure the Baltimore farm system but if they us something additional back in return it might be worth it. Tough to say as trade rumors are probably a dime a dozen.
The question to me is if that package were on the table for deGrom would you pull the trigger?