The goal of this PR is to fix #356.
Can someone with a i686 CPU with SSE4 or AVX2 can check that commit 9b6083c663096e9ca85775b79f1f27c848dbeb98 indeed fix the problem.
Great!
I revived the 32 bit VM linbox-ubuntu-i386 of the Inria CI farm. I could reproduce the bug there and your branch fixes it. The whole test suite passes, hence merging.
The goal of this PR is to fix #356. Can someone with a i686 CPU with SSE4 or AVX2 can check that commit 9b6083c663096e9ca85775b79f1f27c848dbeb98 indeed fix the problem.