let th_to_string n = Th.to_string (Th.of_int n)