Updated print_int2string description