sipa/safegcd-bounds

Bounds on divsteps iterations in safegcd

Coq