MathClasses.implementations.fast_naturals

Require Import
  BigN interfaces.naturals.
Require Export
  NType_naturals.

Module BigN_Integers := NType_Integers BigN.