3 ms·

I'd say that QuickCheck would have a hard time coming up with a failing test case since the input needs to be rather large to trigger the bug.