[PATCH] Come up with json::integer_number and use it in GCOV.

[Jeff Law]

On 9/18/19 2:04 AM, Martin Liška wrote:
> PING^4
> 
> Just note that the author of the JSON implementation
> in GCC is fine with the patch ;)
OK if this is still pending :-)
jeff