split_double finished!