Library MathClasses.implementations.fast_naturals

Require Import
Bignums.BigN.BigN MathClasses.interfaces.naturals.
Require Export
MathClasses.implementations.NType_naturals.

Module BigN_Integers := NType_Integers BigN.