davidot 9921f80817 LibJS: Fix that non-double numbers from JSON were truncated to i32

2022-10-23 15:48:45 +02:00

..

JSON.@@toStringTag.js

…

JSON.parse-reviver.js

…

JSON.parse.js

…

JSON.stringify-exception-in-property-getter.js

…

JSON.stringify-order.js

…

JSON.stringify-proxy.js

…

JSON.stringify-replacer.js

…

JSON.stringify-space.js

…

JSON.stringify.js

…