Library Coq.extraction.ExtrOcamlBigIntConv
Extraction to Ocaml: conversion from/to big_int
NB: The extracted code should be linked with nums.cm(x)a
from ocaml's stdlib and with the wrapper big.ml that
simlifies the use of Big_int (it could be found in the sources
of Coq).
NB: as for pred or minus, nat_of_bigint, n_of_bigint and
pos_of_bigint are total and return zero (resp. one) for
non-positive inputs.