to like ;) (needed for hol-light to work properly)
It provides arbitrary-precision arithmetic functions over integers and rationals to CAML.