From 65f54f4752bdde44a6174fd79ad395e90ad4950d Mon Sep 17 00:00:00 2001 From: Paul Ramsey Date: Tue, 12 May 2020 13:33:58 -0700 Subject: [PATCH] Push extra digits into floatval just to avoid some silly roundoff issue in the future --- ogr_fdw.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/ogr_fdw.c b/ogr_fdw.c index 68f90d0..5a576c0 100644 --- a/ogr_fdw.c +++ b/ogr_fdw.c @@ -942,10 +942,10 @@ ogrSpatialFilterToList(const OgrFdwSpatialFilter* spatial_filter) if (spatial_filter) { l = lappend(l, makeInteger(spatial_filter->ogrfldnum)); - l = lappend(l, makeFloat(psprintf("%g", spatial_filter->minx))); - l = lappend(l, makeFloat(psprintf("%g", spatial_filter->miny))); - l = lappend(l, makeFloat(psprintf("%g", spatial_filter->maxx))); - l = lappend(l, makeFloat(psprintf("%g", spatial_filter->maxy))); + l = lappend(l, makeFloat(psprintf("%.17g", spatial_filter->minx))); + l = lappend(l, makeFloat(psprintf("%.17g", spatial_filter->miny))); + l = lappend(l, makeFloat(psprintf("%.17g", spatial_filter->maxx))); + l = lappend(l, makeFloat(psprintf("%.17g", spatial_filter->maxy))); } return l; }