Thank you for your help Stephen,
I checked both. The json in Discover shows the correct values, e.g.:
"prometheus.metrics.redacted": [
0.084
],
I also looked at our mapping for this field and it is double.
"prometheus.metrics.redacted": {
"type": "double"
},