Add integer library.
FinType for ints.