add missing case to tc_to_string for TC_string
temporary hack translation of int_of_num

it shouldn't be translated at all