我正在尝试将JSON文档插入到MySQLJSON列中，但我注意到其中丢失了小数精度。{"value":212765.700000000010000}减少到{"value":212765.7}我已经尝试通过MySQLWorkbench直接插入，并且我注意到不同的行为取决于我的操作方式。例如:insertintojson_testvalues('{"value":212765.700000000010000}');产生相同的结果..但是以下工作:insertintojson_testvalues(json_object('value',212765.700000000010000));我可