JSON: `dump_int` redefinition

[larshp]

Hi,
below is from a 750 system, the dump_int method is FINAL

perhaps ajson can be used instead? it works on all down to 702