[PostGIS] #5709: ST_ChangeEdgeGeom fails to update face MBR when movement is smaller than float4

[PostGIS]

#5709: ST_ChangeEdgeGeom fails to update face MBR when movement is smaller than
float4
-----------------------+---------------------------
  Reporter:  strk      |      Owner:  strk
      Type:  defect    |     Status:  new
  Priority:  medium    |  Milestone:  PostGIS 3.4.3
 Component:  topology  |    Version:  3.4.x
Resolution:            |   Keywords:
-----------------------+---------------------------
Comment (by strk):

 Or, what we would need is an SQL accessible function to round float8 boxes
 into float4 ones, as the topology MBR doesn't really need to be all that
 strict, as long as it contains all the face edges. But that's probably
 worth a separate ticket as it's a performance concern.
-- 
Ticket URL: <https://trac.osgeo.org/postgis/ticket/5709#comment:3>
PostGIS <http://trac.osgeo.org/postgis/>
The PostGIS Trac is used for bug, enhancement & task tracking, a user and developer wiki, and a view into the subversion code repository of PostGIS project.