Improve error reporting for jsonpath .double() method

Alexander Korotkov <akorotkov@postgresql.org>

Commit: b9a04a9bc6653183ed23532145325694fbc46002
Author: Alexander Korotkov <akorotkov@postgresql.org>
Date: 2020-07-11T00:21:42Z
Releases: 13.0
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