Skip to content

Reduce bounding boxes to 3 decimal places

Will Bolton requested to merge elter-coordinate-precision into develop

All bounding box coordinates have been rounded away from zero to a more sensible three decimal places from the six decimal place output from python.

WARNING: the rounding was done via text editor. While spot checks of the new coordinates have been ok, some results have not been checked by hand.

The following procedure was used to round the numbers:

  • reduce all numbers to four digits precision
  • delete final digits of 0-4 and mark as DONE
  • delete final digits of 5-8, increment the new final digit by one and mark as DONE
  • delete all final digits of 9 and mark as requiring manual intervention
  • manually round everything marked
  • delete DONE flags

Merge request reports