Filter out integer-gmp types from error messages.