webmcp: 44344b4a52c1 framework/env/charset/data/utf

webmcp

Increase precision of exported floats to 16 decimal digits in json.export(...)

line source

1 charset.data.utf_8 = {

2 special_chars = {

3 nobreak_space = "\194\160",

4 minus_sign = "\226\136\146",

5 inf_sign = "\226\136\158",

6 hyphen_sign = "\226\128\144",

7 nobreak_hyphen = "\226\128\145",

8 figure_dash = "\226\128\146",