fix numbers being strings in JSON output