Library Coq.extraction.ExtrOcamlIntConv
Extraction to Ocaml: conversion from/to
int
Nota: no check that
int values aren't generating overflows
NB: as for pred or minus, nat_of_int, n_of_int and
pos_of_int are total and return zero (resp. one) for
non-positive inputs.
Warning: z_of_int is currently wrong for Ocaml's min_int,
since min_int has no positive opposite (-min_int = min_int).