Add tests for gmp_strval fix