Integer package:numeric-prelude

Arbitrary precision integers. In contrast with fixed-size integral types such as Int, the Integer type represents the entire infinite range of integers. For more information about this type's representation, see the comments in its implementation.
This function can be used to define any C as a module over Integer. Better move to Algebra.Additive?
exponent can be negative