php - Php: json_encode() を使用して指数表記でエンコードされたフロート

Question

php7.1 を使用すると、次のようになります。

json_encode(['value' => 0.00001]);

次の文字列を返します。

{"値":1.0e-5}

もらいたいのに{"value":0.0001}

どうすればそれを達成できますか？

これが私がこれまでに試したことです：

json_encode(['value' => '0.00001']);
// returns {"value":"0.0001"}, not {"value":0.0001}

json_encode(['value' => '0.00001'], JSON_NUMERIC_CHECK);
// returns {"value":1.0e-5}