Issue 13013 - Converted real to double in std.json.JSONValue