You're definitely right. I don't know why I received the very same results after having switched from Integer to int, I must have messed it up. Now it behaves w

You're definitely right. I don't know why I received the very same results after having switched from Integer to int, I must have messed it up. Now it behaves with the same timings you describe. I'll rerun the tests and update the post accordingly. Thanks!