pandas map string to int. DataFrame ( [ ["1", "2"], [&