X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/c7e8a82d687758fea374edd43f11d1533d942b7b..1255efba7fb2b661943f960bde2d63a85152c0c6:/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.
         """