Remove the Integer functions; they're now in integer-gmp instead