see if gmp is implicitly cached