splitting.monotonic: faster monotonic-split.