mirror of
https://github.com/michaelrsweet/pdfio.git
synced 2025-07-18 23:09:49 +02:00
Switch to using double for numbers, since they are also used to record lengths
and other potentially large contents.
This commit is contained in: