Make this package now really integer-gmp, rather than pretending it's integer