what is the over-all winning percentage of the team whose manager won a world series as manager of the florida marlins ?
0.505