code: def _convert_name(self, name):
          
          if re.search('^\d+$', name):
              if len(name) > 1 and name[0] == '0':
                  # Don't treat strings beginning with "0" as ints
                  return name
              return int(name)
          return name
docs: Convert ``name`` to int if it looks like an int.
  
          Otherwise, return it as is.