Updated print_int2string