Parallelisation of binary splitting tried

Very limited results, which confused me until profiling showed that the
final division takes about 80% of the time.