Thanks a for the details! This makes very good sense.
we have to calculate a zoom scale value
The good news is that we apply exactly the same zoom factor all the time 
=> So once you have your correction factor, it can be used for all PDF documents that you send to our OCR API.
See also PDF OCR JSON coordinates