From: Sarah Hoffmann Date: Sun, 9 Mar 2025 08:44:15 +0000 (+0100) Subject: Merge pull request #3667 from eumiro/simplify-int-float X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/5a245e33e08d3b0b825cb8f9b47214e1b221118e?hp=-c Merge pull request #3667 from eumiro/simplify-int-float Simplify int/float manipulation --- 5a245e33e08d3b0b825cb8f9b47214e1b221118e