Improve error reporting for jsonpath .double() method

Alexander Korotkov <akorotkov@postgresql.org>

Commit: 3ec5f6b53dfb6acfe66a952edef1b6887da91777
Author: Alexander Korotkov <akorotkov@postgresql.org>
Date: 2020-07-11T00:21:53Z
Releases: 12.4
Improve error reporting for jsonpath .double() method

When jsonpath .double() method detects that numeric or string can't be
converted to double precision, it throws an error.  This commit makes these
errors explicitly express the reason of failure.

Discussion: https://postgr.es/m/CAPpHfdtqJtiSXkP7tOXez18NxhLUH_-75bL8%3DOce4Ki%2Bbv7V6Q%40mail.gmail.com
Author: Alexander Korotkov
Reviewed-by: Tom Lane
Backpatch-through: 12

Files

Discussion