Always use DW if it's a number for the font default width (bug 1903731)

src/core/evaluator.js

@@ -3905,7 +3905,7 @@ class PartialEvaluator {
     let defaultVMetrics;
     if (properties.composite) {
       const dw = dict.get("DW");
-      defaultWidth = Number.isInteger(dw) ? dw : 1000;
+      defaultWidth = typeof dw === "number" ? Math.ceil(dw) : 1000;
 
       const widths = dict.get("W");
       if (Array.isArray(widths)) {

test/pdfs/bug1903731.pdf.link

@@ -0,0 +1,2 @@
+https://bugzilla.mozilla.org/attachment.cgi?id=9408642
+

test/test_manifest.json

@@ -10088,5 +10088,13 @@
     "md5": "73922be020083d54747af18a4d5e0768",
     "rounds": 1,
     "type": "eq"
+  },
+  {
+    "id": "bug1903731",
+    "file": "pdfs/bug1903731.pdf",
+    "md5": "c90d1b03a62d0221e5f5609e3db16a38",
+    "rounds": 1,
+    "link": true,
+    "type": "eq"
   }
 ]