X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/77bec1261eedf1f3afaa9b03c14c8a8a08b11164..e129df379493789f749d7e92b6f1f29db192d01e:/nominatim/utils/json_writer.py

diff --git a/nominatim/utils/json_writer.py b/nominatim/utils/json_writer.py
index e2e5b9e6..bb642233 100644
--- a/nominatim/utils/json_writer.py
+++ b/nominatim/utils/json_writer.py
@@ -101,6 +101,11 @@ class JsonWriter:
         return self.raw(json.dumps(value, ensure_ascii=False))
 
 
+    def float(self, value: float, precision: int) -> 'JsonWriter':
+        """ Write out a float value with the given precision.
+        """
+        return self.raw(f"{value:0.{precision}f}")
+
     def next(self) -> 'JsonWriter':
         """ Write out a delimiter comma between JSON object or array elements.
         """