Lower T4830/allocated_bytes due to [7bdcadda7/integer-gmp] (#8647)

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