https://parpostlasbird.blogspot.com/2023/10/serializing-double-value-to-json-string.html