Benchmark: timing 100000 iterations of nosplit, withsplit...
   nosplit:  6 wallclock secs ( 7.09 usr +  0.00 sys =  7.09 CPU) @ 14104.37/s (n=100000)
 withsplit: 13 wallclock secs (13.85 usr +  0.00 sys = 13.85 CPU) @ 7220.22/s (n=100000)