bug fixed: print_int128.