Geo-hive mind. I've a 20GB raster (tif). The values are all integers. The file type is 32-bit integer. I want to make a new file, which is simply this file with all values divided by 10,000. What tools/methods would you use to do it? #gis #raster #terra #geospatial