bug fixed: print_int128, input = 0