CLEANUP: Avoid -fsanitize runtime error in MPZ-->int64 translation (not
really an error).  Abramo Bagnara.