how much overall has a pick # larger than 9, and a round larger than 5?
1.0