char_to_int
min = 10*min + char_to_int (ch);
max = 10*max + char_to_int (ch);
min = 10 * min + char_to_int(ch);
max = 10 * max + char_to_int(ch);