Allow dict index[double] equal to index[int32_t]
Fix extends problem