Convert internally the Int key to NSString key in IntHash