javascript - Can JSON.stringify output a whole number formatted as a double?

Question

This is an example of what I'm doing:

var serialized = JSON.stringify({x: 1.0});

And this is the result I want:

{"x": 1.0}

But this is the result I'm getting:

{"x": 1}

I've tried using the second argument to JSON.stringify:

JSON.stringify({x: 1.0}, function (k, v) {
  if (Number.isInteger(v)) {
    return v.toFixed(1);
  }
  return v;
});

But that doesn't get me what I want either:

{"x": "1.0"}

Looking at the documentation for JSON.stringify, I don't see an obvious way to get this to do what I want. Is there a workaround or something I'm missing?

For context, I'm taking the serialized data and passing it to an elasticsearch cluster, and I want elasticsearch to dynamically create a mapping for the x field (in the example). However, if the first number that elasticsearch sees is 1 and not 1.0, it will create a long mapping instead of a double mapping, and future double x values (e.g. 1.5) would cause elasticsearch parsing to fail.

Answer 1

Taking the idea of a using the replacer function of JSON.stringify and String#replace and a small addition to the number for finding the integer to replace.

It could look like this:

var s = JSON.stringify({ x: 1.0 }, function (k, v) {
        if (Number.isInteger(v)) {
            return v + 1e-10;
        }
        return v;
    }).replace(/.0000000001/, '.0');

console.log(s);