Remove from `base` obsolete CPP for `integer-gmp`