Z

Integers.

Q

Rationals.

Big_int_Z

Big_int interface for Z module.