MariaDB SUM() JSON

Saa vidt jeg kan se er det lige ud af landevejen:

mysql> CREATE TABLE jsum (
    ->    id INTEGER NOT NULL,
    ->    jv JSON,
    ->    PRIMARY KEY(id)
    -> );
Query OK, 0 rows affected (0.03 sec)

mysql> INSERT INTO jsum VALUES(1, '{"f":123}');
Query OK, 1 row affected (0.01 sec)

mysql> INSERT INTO jsum VALUES(2, '{"f":456}');
Query OK, 1 row affected (0.00 sec)

mysql> SELECT SUM(jv->>'$.f') FROM jsum;
+-----------------+
| SUM(jv->>'$.f') |
+-----------------+
|            579 |
+-----------------+
1 row in set (0.00 sec)

mysql> DROP TABLE jsum;
Query OK, 0 rows affected (0.01 sec)

Jeg får en fejl når jeg prøver
Min tabel her hedder pristabeltest og feltet med JSON hedder jsonfelt

SELECT SUM(jsonfelt->>'$.prisInklMoms') FROM pristabeltest

#1064 - You have an error in your SQL syntax; check the manual that corresponds to your MariaDB server version for the right syntax to use near '>>'$.prisInklMoms') FROM pristabeltest LIMIT 0, 25' at line 1

Serverversion: 10.5.11-MariaDB

Hvad med:

SELECT SUM(JSON_EXTRACT(jsonfelt,'$.prisInklMoms')) FROM pristabeltest

?

Yep det virker :). Tak for hjælpen

Af en eller anden mystisk grund understoetter MariaDB ikke -> og ->> som short version for JSON_EXTRACT.

Andre har undret sig:

https://stackoverflow.com/questions/60810184/extract-json-value-from-table

Okay ja det var da underligt - men dejligt det virker :)
Tak for hjælpen