Adapt perf values due to [cbde8627/integer-gmp]

These are slight improvements due to optimizations in `integer-gmp` (#8647)

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>