More timings suggest that 2500 is closer to the break-even point.
1 file changed