Z
Integers.
Q
Rationals.
Big_int_Z
Big_int interface for Z module.