Round all real numbers in PDF output to four decimal places

This is a work in progress, and attempts to integrate prawnpdf/pdf-core#10.