sum of chars and int in python