type conversion between int and char