Numerical convergence of the branching time of negative streamers.