python if string convert to int