Fix slowdown in bv_saturate from https://github.com/coq/coq/pull/17984
Passed
Michael Sammler
created pipeline for commit
1af7cb9d
, finished
Related merge request !541 to merge msammler/euclidean_division_cleanup_slowdown
5 minutes 37 seconds, queued for 1 seconds