Bigint: adds a missing -1 in hugo's last commit 15659
Bigint: adds a missing -1 in hugo's last commit 15659

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

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