A signature for big numbers that is satisfied both by Zarith and by the older, slower but license-friendly Num package. This minimal signature is required by IFSeqSyn and IFSeqObj.

An extended signature for big numbers, providing more functionality. This signature is required by RandomBigInt and by the modules that depend on it, such as IFSeq.