Meanwhile, in the real world
A hike to $9 is not the same as a hike to over $10. Heck, even an increase to $9.90 would have been much more palatable politically. Looks to me that the sponsor of that amendment deliberately chose a figure over $10 in hopes of getting no Republicans to vote for it, a hope that was realized.
You couldn't get one GOP member of the House to vote to raise the minumum wage to $7.26/hour. They're unanimous in wanting to deny the President any victories. As they have been since the day he first took office.