Change of index values dtype should be reflected in index type
This PR should eventually address issue #9966. I will look at testing first to make sure I have understood how pandas ought to work in these situations.
