libtom, a multiprecision arithmetic package obtained from elsewhere.