python convert string to int if possible