coq-bignums 8.13.0 Coq library for arbitrary large numbers

Bignums is a coq library of arbitrary large numbers. It provides BigN, BigZ, BigQ that used to be part of Coq standard library.