The Standard ML Basis Library
Integers
The INTEGER signature
The IntInf structure
The WORD signature
The PACK_WORD signature