On Mon, Oct 24, 2022 at 12:53:26AM -0400, Tom Lane wrote:
> Tatsuo Ishii <ishii(at)sraoss(dot)co(dot)jp> writes:
>> Yeah, that's a typo. Patch attached.
Thanks, that's wrong :/
> Shouldn't it be "integer"?
When it comes down to the data types of a JSON object, these are
referred as "number", as these can be either integers or floating
points. See:
https://www.w3schools.com/js/js_json_datatypes.asp
--
Michael