On Mon, Oct 24, 2022 at 12:53:26AM -0400, Tom Lane wrote: > Tatsuo Ishii <is...@sraoss.co.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
signature.asc
Description: PGP signature
