Extract numeric field in JSONB more effectively

    Attachment (v14-0002-try-to-apply-jsonb-extraction-optimization-to-_t.patch) at 2023-09-15 01:53:20 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: Yes)
    Attachment (v13-0001-optimize-casting-jsonb-to-a-given-type.patch) at 2023-09-04 14:35:16 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: Yes)
    Attachment (v12-0001-optimize-casting-jsonb-to-a-given-type.patch) at 2023-09-01 03:09:22 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: Yes)
    Attachment (v11-0001-optimize-casting-jsonb-to-a-given-type.patch) at 2023-08-31 09:10:39 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: Yes)
    Attachment (v10-0003-relabel-the-arg-and-resultvalue-with-INTERNALOID.patch) at 2023-08-22 03:14:48 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: Yes)
    Attachment (v10-0001-optimize-casting-jsonb-to-a-given-type.patch) at 2023-08-21 01:31:56 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: Yes)
    Attachment (0001-convert-anyelement-to-internal.patch) at 2023-08-18 07:41:13 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: Yes)
    Attachment (test.sql) at 2023-08-17 09:07:31 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: No)
    Attachment (v8-0001-optimize-casting-jsonb-to-a-given-type.patch) at 2023-08-16 06:27:57 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: Yes)
    Attachment (v8-0001-optimize-casting-jsonb-to-a-given-type.patch.bak) at 2023-08-16 06:12:16 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: Yes)
    Attachment (v7-0001-optimize-casting-jsonb-to-a-given-type.patch) at 2023-08-15 03:24:35 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: Yes)
    Attachment (v6-0001-optimize-casting-jsonb-to-a-given-type.patch) at 2023-08-14 15:42:12 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: Yes)
    Attachment (v5-0001-optimize-casting-jsonb-to-a-given-type.patch) at 2023-08-10 08:03:15 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: Yes)
    Attachment (v4-0001-Optimize-extracting-a-given-data-type-from-jsonb.patch) at 2023-08-07 07:32:25 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: Yes)
    Attachment (v3-0001-Optimize-extracting-a-given-data-type-from-jsonb.patch) at 2023-08-07 03:04:05 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: Yes)
    Attachment (v2-0001-Add-jsonb-operator-to-return-a-numeric-directly.patch) at 2023-08-03 00:50:47 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: Yes)
    Attachment (v1-0001-Add-jsonb-operator-to-return-a-numeric-directly.patch) at 2023-08-01 04:38:57 from Andy Fan <zhihui.fan1213 at gmail.com> (Patch: Yes)