Ciao, 2 lug 2026, 16:25 da : > So, I changed binvert_limb_pipe to the new proposal and I pushed the patch > Oops, I added a bug. But luckily it was in an assert only, so it didn't trigger many faults in the automated tests. Ĝis, m