mysql json extract to decimal code example

Example: mysql json extract escape

SELECT JSON_EXTRACT('{"user.name": "Aztalan"}', '$."user.name"');