v8.4: Fixing unchecked overflow in sub_mult used for euclidian division over unbounded integers (thanks to L. Théry for pointing out the problem).
v8.4: Fixing unchecked overflow in sub_mult used for euclidian division over unbounded integers (thanks to L. Théry for pointing out the problem).

git-svn-id: d56758c9839fedc9de7e7ff4440bd113c4995e57@15638 85f007b7-540e-0410-9357-904b9bb8a0f7

maximedenes/native-coq,maximedenes/native-coq,maximedenes/native-coq