Fix slowdown in bv_saturate from https://github.com/coq/coq/pull/17984
Related merge request !541 to merge msammler/euclidean_division_cleanup_slowdown
merge request
2 jobs
5 minutes 37 seconds, queued for 1 seconds