[Bug]: pikepdf cropbox/mediabox/trimbox as list can return strings in the list

[jozuas]

What were you trying to do?

OCRmyPDF/src/ocrmypdf/pdfinfo/info.py

Lines 890 to 892 in 6ca4940

	self._cropbox = [float(d) for d in page.cropbox.as_list()]
	self._mediabox = [float(d) for d in page.mediabox.as_list()]
	self._trimbox = [float(d) for d in page.trimbox.as_list()]

This can crash with

TypeError: float() argument must be a string or a real number, not 'pikepdf._core.Object

When /TrimBox of a page is like

/Contents 267 0 R
/TrimBox [3.05175781e-005 0 612 792]
/BleedBox [3.05175781e-005 0 612 792]
/ArtBox [3.05176e-005 0.479996 612 792]

Because pikepdf for [float(d) for d in page.trimbox.as_list()] returns

pikepdf._core._ObjectList([pikepdf.String("3.05175781e-005"), 0, 612, 792])

Where are you installing/running from?

source build

OCRmyPDF version

No response

What operating system are you working on?

No response

Operating system details and version

No response

Simple sanity checks

• Operating system is currently supported by its vendor (not end of life)
• Python version is compatible with OCRmyPDF
• This issue is not about a specific input file

Relevant log output

No response

[jbarlow83]

Exponential numbers are invalid in most parts of PDF - numbers must be either regular decimal or integer without exponents, and there are limits on the mininum nonzero and maximum values as well. Since it seems likely this mistake occurs elsewhere, I can look into issuing a warning and rounding. In the meantime, you can trap the error and fix it if you like, since the PDF is not correct.