--- /srv/rebuilderd/tmp/rebuilderdbGVgg3/inputs/libghc-numtype-dk-prof_0.5.0.3-4_amd64.deb
+++ /srv/rebuilderd/tmp/rebuilderdbGVgg3/out/libghc-numtype-dk-prof_0.5.0.3-4_amd64.deb
├── file list
│ @@ -1,3 +1,3 @@
│  -rw-r--r--   0        0        0        4 2026-01-04 15:08:30.000000 debian-binary
│ --rw-r--r--   0        0        0     1096 2026-01-04 15:08:30.000000 control.tar.xz
│ --rw-r--r--   0        0        0    26044 2026-01-04 15:08:30.000000 data.tar.xz
│ +-rw-r--r--   0        0        0     1100 2026-01-04 15:08:30.000000 control.tar.xz
│ +-rw-r--r--   0        0        0    26024 2026-01-04 15:08:30.000000 data.tar.xz
├── control.tar.xz
│ ├── control.tar
│ │ ├── ./md5sums
│ │ │ ├── ./md5sums
│ │ │ │┄ Files differ
├── data.tar.xz
│ ├── data.tar
│ │ ├── ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-2b2a/numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E/libHSnumtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E_p.a
│ │ │ ├── nm --print-armap {}
│ │ │ │ @@ -1031,36 +1031,36 @@
│ │ │ │                   U ghczmprim_GHCziTypes_KindRepTyConApp_con_info
│ │ │ │                   U ghczmprim_GHCziTypes_Module_con_info
│ │ │ │                   U ghczmprim_GHCziTypes_TrNameS_con_info
│ │ │ │                   U ghczmprim_GHCziTypes_TyCon_con_info
│ │ │ │                   U ghczmprim_GHCziTypes_ZMZN_closure
│ │ │ │                   U ghczmprim_GHCziTypes_krepzdConstraint_closure
│ │ │ │                   U ghczmprim_GHCziTypes_krepzdzt_closure
│ │ │ │ -00000000000000b4 r i1F0_str
│ │ │ │ -00000000000000be r i1F1_str
│ │ │ │  0000000000000111 r i1FF_str
│ │ │ │  000000000000011b r i1FG_str
│ │ │ │  000000000000017d r i1FT_str
│ │ │ │  0000000000000186 r i1FU_str
│ │ │ │ -00000000000001de r i1Gk_str
│ │ │ │ -00000000000001e2 r i1Gl_str
│ │ │ │ -000000000000023c r i1Hf_str
│ │ │ │ -0000000000000244 r i1Hg_str
│ │ │ │ -0000000000000297 r i1Hh_str
│ │ │ │ -00000000000002a1 r i1Hi_str
│ │ │ │ -00000000000002f2 r i1Hj_str
│ │ │ │ -00000000000002fc r i1Hk_str
│ │ │ │ -000000000000035e r i1J2_str
│ │ │ │ -0000000000000367 r i1J3_str
│ │ │ │ -00000000000003bf r i1JM_str
│ │ │ │ -00000000000003c5 r i1JN_str
│ │ │ │ +00000000000000b4 r i1Fq_str
│ │ │ │ +00000000000000be r i1Fr_str
│ │ │ │ +00000000000001de r i1H9_str
│ │ │ │ +00000000000001e2 r i1Ha_str
│ │ │ │ +000000000000023c r i1I4_str
│ │ │ │ +0000000000000244 r i1I5_str
│ │ │ │ +0000000000000297 r i1I6_str
│ │ │ │ +00000000000002a1 r i1I7_str
│ │ │ │ +00000000000002f2 r i1I8_str
│ │ │ │ +00000000000002fc r i1I9_str
│ │ │ │ +000000000000035e r i1JN_str
│ │ │ │ +0000000000000367 r i1JO_str
│ │ │ │  0000000000000419 r i1KA_str
│ │ │ │  0000000000000461 r i1KR_str
│ │ │ │  0000000000000465 r i1KS_str
│ │ │ │  0000000000000467 r i1KT_str
│ │ │ │ +00000000000003bf r i1Kj_str
│ │ │ │ +00000000000003c5 r i1Kk_str
│ │ │ │  0000000000000413 r i1Ky_str
│ │ │ │  0000000000000417 r i1Kz_str
│ │ │ │                   U newCAF
│ │ │ │  0000000000000000 D numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_CAFs_cc
│ │ │ │  0000000000000040 D numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_CAFs_cc_ccs
│ │ │ │  0000000000000640 D numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_S_closure
│ │ │ │  0000000000000500 T numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_S_con_info
│ │ │ ├── Integers.p_o
│ │ │ │ ├── strings --all --bytes=8 {}
│ │ │ │ │ @@ -63,143 +63,143 @@
│ │ │ │ │  'Neg10Minus
│ │ │ │ │  Numeric.NumType.DK.Integers
│ │ │ │ │  numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.toNum_rii>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Ph>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_$ctoNum_r1NW>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_r1jY>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_r1iF>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Pk>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_$ctoNum_r1NU>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_r1jS>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_r1iz>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Pn>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_$ctoNum_r1NS>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_r1jL>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_r1it>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Pq>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_$ctoNum_r1NQ>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_r1jF>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_r1in>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Pt>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_$ctoNum_r1NO>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_r1jz>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_r1ih>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Pw>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_$ctoNum_r1NM>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_r1jt>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_r1ib>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Pz>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_$ctoNum_r1NK>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_r1jg>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_r1i5>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1PC>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_$ctoNum_r1NI>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_r1j3>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_r1hZ>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1PF>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_$ctoNum_r1NE>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_r1iU>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_r1hT>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_$ctoNum_r1O9>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_r1iL>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_r1hN>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_$ctoNum_r1NY>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_r1iF>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_r1hH>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_$ctoNum_r1O1>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_r1ix>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_r1hB>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_$ctoNum_r1O2>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_r1ir>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_r1hv>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_$ctoNum_r1O3>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_r1il>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_r1hp>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_$ctoNum_r1O4>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_r1if>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_r1hi>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_$ctoNum_r1O5>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_r1i9>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_r1hb>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_$ctoNum_r1O6>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_r1i2>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_r1h5>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_$ctoNum_r1O7>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_r1hW>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_r1gZ>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_$ctoNum_r1O8>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_r1hQ>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_r1gT>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pred1_r1Pa>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pred_rkH>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pred_riT>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus1_r1O0>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Q7>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Q6>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.lvl_s1Q5>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Q9>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_$ctoNum_r1NZ>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_r1hJ>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_r1gM>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.succ1_r1Pc>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.succ_rkI>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.succ_riU>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus1_r1NH>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Qh>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Qg>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.lvl_s1Qf>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Qj>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_$ctoNum_r1NG>
│ │ │ │ │  KnownTypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_r1kc>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_r1iT>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.negate1_r1P9>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.negate_rkJ>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.negate_riV>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.abs1_r1P8>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.abs_rkK>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.abs_riW>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.signum1_r1Pb>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.signum_rkL>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.signum_riX>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.+1_r1P3>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.+_rkM>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.+_riY>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.-2_r1P5>
│ │ │ │ │  ->>Proxy
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.-1_r1P4>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.-_rkN>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.-_riZ>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.*1_r1P2>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.*_rkO>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.*_rj0>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers./1_r1P6>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers./_rkP>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers./_rj1>
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.^1_r1P7>
│ │ │ │ │  ->>Proxy
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.^_rkQ>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg9_rkR>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg8_rkS>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg7_rkT>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg6_rkU>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg5_rkW>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg4_rkY>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg3_rkZ>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg2_rl1>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg1_rl2>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.zero_rl3>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos1_rl4>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos2_rl5>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos3_rl6>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos4_rl7>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos5_rl8>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos6_rl9>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos7_rla>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos8_rlb>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos9_rlc>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.^_rj2>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg9_rj3>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg8_rj4>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg7_rj5>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg6_rj6>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg5_rj7>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg4_rj8>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg3_rj9>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg2_rja>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg1_rjb>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.zero_rjc>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos1_rjd>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos2_rje>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos3_rjf>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos4_rjg>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos5_rjh>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos6_rji>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos7_rjj>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos8_rjk>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos9_rjl>
│ │ │ │ │  ->TypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.Neg10Minus_rNM>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.Neg10Minus_rN9>
│ │ │ │ │  ->TypeInt
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.Pos10Plus_rPp>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.Pos10Plus_rP0>
│ │ │ │ │  Neg10Minus
│ │ │ │ │  numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.Neg10Minus
│ │ │ │ │  numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.Neg9
│ │ │ │ │  numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.Neg8
│ │ │ │ │  numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.Neg7
│ │ │ │ │  numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.Neg6
│ │ │ │ │  numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.Neg5
│ │ │ │ ├── readelf --wide --decompress --string-dump=.rodata.str {}
│ │ │ │ │ @@ -118,215 +118,215 @@
│ │ │ │ │    [   957]  ->*
│ │ │ │ │    [   95b]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.toNum_rii>
│ │ │ │ │    [   9ad]  *
│ │ │ │ │    [   9af]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Ph>
│ │ │ │ │    [   a00]  ->*
│ │ │ │ │    [   a04]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_$ctoNum_r1NW>
│ │ │ │ │    [   a6c]  KnownTypeInt
│ │ │ │ │ -  [   a79]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_r1jY>
│ │ │ │ │ +  [   a79]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg9_r1iF>
│ │ │ │ │    [   ad9]  *
│ │ │ │ │    [   adb]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Pk>
│ │ │ │ │    [   b2c]  ->*
│ │ │ │ │    [   b30]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_$ctoNum_r1NU>
│ │ │ │ │    [   b98]  KnownTypeInt
│ │ │ │ │ -  [   ba5]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_r1jS>
│ │ │ │ │ +  [   ba5]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg8_r1iz>
│ │ │ │ │    [   c05]  *
│ │ │ │ │    [   c07]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Pn>
│ │ │ │ │    [   c58]  ->*
│ │ │ │ │    [   c5c]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_$ctoNum_r1NS>
│ │ │ │ │    [   cc4]  KnownTypeInt
│ │ │ │ │ -  [   cd1]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_r1jL>
│ │ │ │ │ +  [   cd1]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg7_r1it>
│ │ │ │ │    [   d31]  *
│ │ │ │ │    [   d33]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Pq>
│ │ │ │ │    [   d84]  ->*
│ │ │ │ │    [   d88]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_$ctoNum_r1NQ>
│ │ │ │ │    [   df0]  KnownTypeInt
│ │ │ │ │ -  [   dfd]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_r1jF>
│ │ │ │ │ +  [   dfd]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg6_r1in>
│ │ │ │ │    [   e5d]  *
│ │ │ │ │    [   e5f]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Pt>
│ │ │ │ │    [   eb0]  ->*
│ │ │ │ │    [   eb4]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_$ctoNum_r1NO>
│ │ │ │ │    [   f1c]  KnownTypeInt
│ │ │ │ │ -  [   f29]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_r1jz>
│ │ │ │ │ +  [   f29]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg5_r1ih>
│ │ │ │ │    [   f89]  *
│ │ │ │ │    [   f8b]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Pw>
│ │ │ │ │    [   fdc]  ->*
│ │ │ │ │    [   fe0]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_$ctoNum_r1NM>
│ │ │ │ │    [  1048]  KnownTypeInt
│ │ │ │ │ -  [  1055]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_r1jt>
│ │ │ │ │ +  [  1055]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg4_r1ib>
│ │ │ │ │    [  10b5]  *
│ │ │ │ │    [  10b7]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Pz>
│ │ │ │ │    [  1108]  ->*
│ │ │ │ │    [  110c]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_$ctoNum_r1NK>
│ │ │ │ │    [  1174]  KnownTypeInt
│ │ │ │ │ -  [  1181]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_r1jg>
│ │ │ │ │ +  [  1181]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg3_r1i5>
│ │ │ │ │    [  11e1]  *
│ │ │ │ │    [  11e3]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1PC>
│ │ │ │ │    [  1234]  ->*
│ │ │ │ │    [  1238]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_$ctoNum_r1NI>
│ │ │ │ │    [  12a0]  KnownTypeInt
│ │ │ │ │ -  [  12ad]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_r1j3>
│ │ │ │ │ +  [  12ad]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg2_r1hZ>
│ │ │ │ │    [  130d]  *
│ │ │ │ │    [  130f]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1PF>
│ │ │ │ │    [  1360]  ->*
│ │ │ │ │    [  1364]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_$ctoNum_r1NE>
│ │ │ │ │    [  13cc]  KnownTypeInt
│ │ │ │ │ -  [  13d9]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_r1iU>
│ │ │ │ │ +  [  13d9]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg1_r1hT>
│ │ │ │ │    [  1439]  ->*
│ │ │ │ │    [  143d]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_$ctoNum_r1O9>
│ │ │ │ │    [  14a5]  KnownTypeInt
│ │ │ │ │ -  [  14b2]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_r1iL>
│ │ │ │ │ +  [  14b2]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntZero_r1hN>
│ │ │ │ │    [  1512]  ->*
│ │ │ │ │    [  1516]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_$ctoNum_r1NY>
│ │ │ │ │    [  157e]  KnownTypeInt
│ │ │ │ │ -  [  158b]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_r1iF>
│ │ │ │ │ +  [  158b]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos1_r1hH>
│ │ │ │ │    [  15eb]  ->*
│ │ │ │ │    [  15ef]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_$ctoNum_r1O1>
│ │ │ │ │    [  1657]  KnownTypeInt
│ │ │ │ │ -  [  1664]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_r1ix>
│ │ │ │ │ +  [  1664]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos2_r1hB>
│ │ │ │ │    [  16c4]  ->*
│ │ │ │ │    [  16c8]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_$ctoNum_r1O2>
│ │ │ │ │    [  1730]  KnownTypeInt
│ │ │ │ │ -  [  173d]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_r1ir>
│ │ │ │ │ +  [  173d]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos3_r1hv>
│ │ │ │ │    [  179d]  ->*
│ │ │ │ │    [  17a1]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_$ctoNum_r1O3>
│ │ │ │ │    [  1809]  KnownTypeInt
│ │ │ │ │ -  [  1816]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_r1il>
│ │ │ │ │ +  [  1816]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos4_r1hp>
│ │ │ │ │    [  1876]  ->*
│ │ │ │ │    [  187a]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_$ctoNum_r1O4>
│ │ │ │ │    [  18e2]  KnownTypeInt
│ │ │ │ │ -  [  18ef]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_r1if>
│ │ │ │ │ +  [  18ef]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos5_r1hi>
│ │ │ │ │    [  194f]  ->*
│ │ │ │ │    [  1953]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_$ctoNum_r1O5>
│ │ │ │ │    [  19bb]  KnownTypeInt
│ │ │ │ │ -  [  19c8]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_r1i9>
│ │ │ │ │ +  [  19c8]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos6_r1hb>
│ │ │ │ │    [  1a28]  ->*
│ │ │ │ │    [  1a2c]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_$ctoNum_r1O6>
│ │ │ │ │    [  1a94]  KnownTypeInt
│ │ │ │ │ -  [  1aa1]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_r1i2>
│ │ │ │ │ +  [  1aa1]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos7_r1h5>
│ │ │ │ │    [  1b01]  ->*
│ │ │ │ │    [  1b05]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_$ctoNum_r1O7>
│ │ │ │ │    [  1b6d]  KnownTypeInt
│ │ │ │ │ -  [  1b7a]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_r1hW>
│ │ │ │ │ +  [  1b7a]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos8_r1gZ>
│ │ │ │ │    [  1bda]  ->*
│ │ │ │ │    [  1bde]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_$ctoNum_r1O8>
│ │ │ │ │    [  1c46]  KnownTypeInt
│ │ │ │ │ -  [  1c53]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_r1hQ>
│ │ │ │ │ +  [  1c53]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos9_r1gT>
│ │ │ │ │    [  1cb3]  Proxy
│ │ │ │ │    [  1cb9]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pred1_r1Pa>
│ │ │ │ │    [  1d0c]  ->Proxy
│ │ │ │ │ -  [  1d14]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pred_rkH>
│ │ │ │ │ +  [  1d14]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pred_riT>
│ │ │ │ │    [  1d65]  Proxy
│ │ │ │ │    [  1d6b]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus1_r1O0>
│ │ │ │ │    [  1dd1]  *
│ │ │ │ │    [  1dd3]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Q7>
│ │ │ │ │    [  1e24]  *
│ │ │ │ │    [  1e26]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Q6>
│ │ │ │ │    [  1e77]  *
│ │ │ │ │    [  1e79]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.lvl_s1Q5>
│ │ │ │ │    [  1eca]  ->*
│ │ │ │ │    [  1ece]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Q9>
│ │ │ │ │    [  1f1f]  ->*
│ │ │ │ │    [  1f23]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_$ctoNum_r1NZ>
│ │ │ │ │    [  1f90]  KnownTypeInt
│ │ │ │ │ -  [  1f9d]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_r1hJ>
│ │ │ │ │ +  [  1f9d]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntPos10Plus_r1gM>
│ │ │ │ │    [  2002]  Proxy
│ │ │ │ │    [  2008]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.succ1_r1Pc>
│ │ │ │ │    [  205b]  ->Proxy
│ │ │ │ │ -  [  2063]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.succ_rkI>
│ │ │ │ │ +  [  2063]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.succ_riU>
│ │ │ │ │    [  20b4]  Proxy
│ │ │ │ │    [  20ba]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus1_r1NH>
│ │ │ │ │    [  2121]  *
│ │ │ │ │    [  2123]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Qh>
│ │ │ │ │    [  2174]  *
│ │ │ │ │    [  2176]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Qg>
│ │ │ │ │    [  21c7]  *
│ │ │ │ │    [  21c9]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.lvl_s1Qf>
│ │ │ │ │    [  221a]  ->*
│ │ │ │ │    [  221e]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.sat_s1Qj>
│ │ │ │ │    [  226f]  ->*
│ │ │ │ │    [  2273]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_$ctoNum_r1NG>
│ │ │ │ │    [  22e1]  KnownTypeInt
│ │ │ │ │ -  [  22ee]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_r1kc>
│ │ │ │ │ +  [  22ee]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.$fKnownTypeIntNeg10Minus_r1iT>
│ │ │ │ │    [  2354]  Proxy
│ │ │ │ │    [  235a]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.negate1_r1P9>
│ │ │ │ │    [  23af]  ->Proxy
│ │ │ │ │ -  [  23b7]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.negate_rkJ>
│ │ │ │ │ +  [  23b7]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.negate_riV>
│ │ │ │ │    [  240a]  Proxy
│ │ │ │ │    [  2410]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.abs1_r1P8>
│ │ │ │ │    [  2462]  ->Proxy
│ │ │ │ │ -  [  246a]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.abs_rkK>
│ │ │ │ │ +  [  246a]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.abs_riW>
│ │ │ │ │    [  24ba]  Proxy
│ │ │ │ │    [  24c0]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.signum1_r1Pb>
│ │ │ │ │    [  2515]  ->Proxy
│ │ │ │ │ -  [  251d]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.signum_rkL>
│ │ │ │ │ +  [  251d]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.signum_riX>
│ │ │ │ │    [  2570]  Proxy
│ │ │ │ │    [  2576]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.+1_r1P3>
│ │ │ │ │    [  25c6]  ->>Proxy
│ │ │ │ │ -  [  25cf]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.+_rkM>
│ │ │ │ │ +  [  25cf]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.+_riY>
│ │ │ │ │    [  261d]  Proxy
│ │ │ │ │    [  2623]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.-2_r1P5>
│ │ │ │ │    [  2673]  ->>Proxy
│ │ │ │ │    [  267c]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.-1_r1P4>
│ │ │ │ │    [  26cc]  ->>Proxy
│ │ │ │ │ -  [  26d5]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.-_rkN>
│ │ │ │ │ +  [  26d5]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.-_riZ>
│ │ │ │ │    [  2723]  Proxy
│ │ │ │ │    [  2729]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.*1_r1P2>
│ │ │ │ │    [  2779]  ->>Proxy
│ │ │ │ │ -  [  2782]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.*_rkO>
│ │ │ │ │ +  [  2782]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.*_rj0>
│ │ │ │ │    [  27d0]  Proxy
│ │ │ │ │    [  27d6]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers./1_r1P6>
│ │ │ │ │    [  2826]  ->>Proxy
│ │ │ │ │ -  [  282f]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers./_rkP>
│ │ │ │ │ +  [  282f]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers./_rj1>
│ │ │ │ │    [  287d]  Proxy
│ │ │ │ │    [  2883]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.^1_r1P7>
│ │ │ │ │    [  28d3]  ->>Proxy
│ │ │ │ │ -  [  28dc]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.^_rkQ>
│ │ │ │ │ +  [  28dc]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.^_rj2>
│ │ │ │ │    [  292a]  Proxy
│ │ │ │ │ -  [  2930]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg9_rkR>
│ │ │ │ │ +  [  2930]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg9_rj3>
│ │ │ │ │    [  2981]  Proxy
│ │ │ │ │ -  [  2987]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg8_rkS>
│ │ │ │ │ +  [  2987]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg8_rj4>
│ │ │ │ │    [  29d8]  Proxy
│ │ │ │ │ -  [  29de]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg7_rkT>
│ │ │ │ │ +  [  29de]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg7_rj5>
│ │ │ │ │    [  2a2f]  Proxy
│ │ │ │ │ -  [  2a35]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg6_rkU>
│ │ │ │ │ +  [  2a35]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg6_rj6>
│ │ │ │ │    [  2a86]  Proxy
│ │ │ │ │ -  [  2a8c]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg5_rkW>
│ │ │ │ │ +  [  2a8c]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg5_rj7>
│ │ │ │ │    [  2add]  Proxy
│ │ │ │ │ -  [  2ae3]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg4_rkY>
│ │ │ │ │ +  [  2ae3]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg4_rj8>
│ │ │ │ │    [  2b34]  Proxy
│ │ │ │ │ -  [  2b3a]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg3_rkZ>
│ │ │ │ │ +  [  2b3a]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg3_rj9>
│ │ │ │ │    [  2b8b]  Proxy
│ │ │ │ │ -  [  2b91]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg2_rl1>
│ │ │ │ │ +  [  2b91]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg2_rja>
│ │ │ │ │    [  2be2]  Proxy
│ │ │ │ │ -  [  2be8]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg1_rl2>
│ │ │ │ │ +  [  2be8]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.neg1_rjb>
│ │ │ │ │    [  2c39]  Proxy
│ │ │ │ │ -  [  2c3f]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.zero_rl3>
│ │ │ │ │ +  [  2c3f]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.zero_rjc>
│ │ │ │ │    [  2c90]  Proxy
│ │ │ │ │ -  [  2c96]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos1_rl4>
│ │ │ │ │ +  [  2c96]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos1_rjd>
│ │ │ │ │    [  2ce7]  Proxy
│ │ │ │ │ -  [  2ced]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos2_rl5>
│ │ │ │ │ +  [  2ced]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos2_rje>
│ │ │ │ │    [  2d3e]  Proxy
│ │ │ │ │ -  [  2d44]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos3_rl6>
│ │ │ │ │ +  [  2d44]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos3_rjf>
│ │ │ │ │    [  2d95]  Proxy
│ │ │ │ │ -  [  2d9b]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos4_rl7>
│ │ │ │ │ +  [  2d9b]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos4_rjg>
│ │ │ │ │    [  2dec]  Proxy
│ │ │ │ │ -  [  2df2]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos5_rl8>
│ │ │ │ │ +  [  2df2]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos5_rjh>
│ │ │ │ │    [  2e43]  Proxy
│ │ │ │ │ -  [  2e49]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos6_rl9>
│ │ │ │ │ +  [  2e49]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos6_rji>
│ │ │ │ │    [  2e9a]  Proxy
│ │ │ │ │ -  [  2ea0]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos7_rla>
│ │ │ │ │ +  [  2ea0]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos7_rjj>
│ │ │ │ │    [  2ef1]  Proxy
│ │ │ │ │ -  [  2ef7]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos8_rlb>
│ │ │ │ │ +  [  2ef7]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos8_rjk>
│ │ │ │ │    [  2f48]  Proxy
│ │ │ │ │ -  [  2f4e]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos9_rlc>
│ │ │ │ │ +  [  2f4e]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.pos9_rjl>
│ │ │ │ │    [  2f9f]  ->TypeInt
│ │ │ │ │ -  [  2fa9]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.Neg10Minus_rNM>
│ │ │ │ │ +  [  2fa9]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.Neg10Minus_rN9>
│ │ │ │ │    [  3000]  ->TypeInt
│ │ │ │ │ -  [  300a]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.Pos10Plus_rPp>
│ │ │ │ │ +  [  300a]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.Pos10Plus_rP0>
│ │ │ │ │    [  3060]  TypeInt
│ │ │ │ │    [  3068]  Neg10Minus
│ │ │ │ │    [  3073]  numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.Neg10Minus
│ │ │ │ │    [  30c4]  TypeInt
│ │ │ │ │    [  30cc]  Neg9
│ │ │ │ │    [  30d1]  numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Integers.Neg9
│ │ │ │ │    [  311c]  TypeInt
│ │ │ ├── Naturals.p_o
│ │ │ │ ├── readelf --wide --symbols {}
│ │ │ │ │ @@ -1,32 +1,32 @@
│ │ │ │ │  
│ │ │ │ │  Symbol table '.symtab' contains 101 entries:
│ │ │ │ │     Num:    Value          Size Type    Bind   Vis      Ndx Name
│ │ │ │ │       0: 0000000000000000     0 NOTYPE  LOCAL  DEFAULT  UND 
│ │ │ │ │       1: 0000000000000000     0 SECTION LOCAL  DEFAULT    1 .text
│ │ │ │ │       2: 0000000000000000     0 SECTION LOCAL  DEFAULT    3 .rodata.str
│ │ │ │ │       3: 0000000000000000     0 SECTION LOCAL  DEFAULT    7 .data
│ │ │ │ │ -     4: 00000000000000b4     0 NOTYPE  LOCAL  DEFAULT    3 i1F0_str
│ │ │ │ │ -     5: 00000000000000be     0 NOTYPE  LOCAL  DEFAULT    3 i1F1_str
│ │ │ │ │ +     4: 00000000000000b4     0 NOTYPE  LOCAL  DEFAULT    3 i1Fq_str
│ │ │ │ │ +     5: 00000000000000be     0 NOTYPE  LOCAL  DEFAULT    3 i1Fr_str
│ │ │ │ │       6: 0000000000000111     0 NOTYPE  LOCAL  DEFAULT    3 i1FF_str
│ │ │ │ │       7: 000000000000011b     0 NOTYPE  LOCAL  DEFAULT    3 i1FG_str
│ │ │ │ │       8: 000000000000017d     0 NOTYPE  LOCAL  DEFAULT    3 i1FT_str
│ │ │ │ │       9: 0000000000000186     0 NOTYPE  LOCAL  DEFAULT    3 i1FU_str
│ │ │ │ │ -    10: 00000000000001de     0 NOTYPE  LOCAL  DEFAULT    3 i1Gk_str
│ │ │ │ │ -    11: 00000000000001e2     0 NOTYPE  LOCAL  DEFAULT    3 i1Gl_str
│ │ │ │ │ -    12: 000000000000023c     0 NOTYPE  LOCAL  DEFAULT    3 i1Hf_str
│ │ │ │ │ -    13: 0000000000000244     0 NOTYPE  LOCAL  DEFAULT    3 i1Hg_str
│ │ │ │ │ -    14: 0000000000000297     0 NOTYPE  LOCAL  DEFAULT    3 i1Hh_str
│ │ │ │ │ -    15: 00000000000002a1     0 NOTYPE  LOCAL  DEFAULT    3 i1Hi_str
│ │ │ │ │ -    16: 00000000000002f2     0 NOTYPE  LOCAL  DEFAULT    3 i1Hj_str
│ │ │ │ │ -    17: 00000000000002fc     0 NOTYPE  LOCAL  DEFAULT    3 i1Hk_str
│ │ │ │ │ -    18: 000000000000035e     0 NOTYPE  LOCAL  DEFAULT    3 i1J2_str
│ │ │ │ │ -    19: 0000000000000367     0 NOTYPE  LOCAL  DEFAULT    3 i1J3_str
│ │ │ │ │ -    20: 00000000000003bf     0 NOTYPE  LOCAL  DEFAULT    3 i1JM_str
│ │ │ │ │ -    21: 00000000000003c5     0 NOTYPE  LOCAL  DEFAULT    3 i1JN_str
│ │ │ │ │ +    10: 00000000000001de     0 NOTYPE  LOCAL  DEFAULT    3 i1H9_str
│ │ │ │ │ +    11: 00000000000001e2     0 NOTYPE  LOCAL  DEFAULT    3 i1Ha_str
│ │ │ │ │ +    12: 000000000000023c     0 NOTYPE  LOCAL  DEFAULT    3 i1I4_str
│ │ │ │ │ +    13: 0000000000000244     0 NOTYPE  LOCAL  DEFAULT    3 i1I5_str
│ │ │ │ │ +    14: 0000000000000297     0 NOTYPE  LOCAL  DEFAULT    3 i1I6_str
│ │ │ │ │ +    15: 00000000000002a1     0 NOTYPE  LOCAL  DEFAULT    3 i1I7_str
│ │ │ │ │ +    16: 00000000000002f2     0 NOTYPE  LOCAL  DEFAULT    3 i1I8_str
│ │ │ │ │ +    17: 00000000000002fc     0 NOTYPE  LOCAL  DEFAULT    3 i1I9_str
│ │ │ │ │ +    18: 000000000000035e     0 NOTYPE  LOCAL  DEFAULT    3 i1JN_str
│ │ │ │ │ +    19: 0000000000000367     0 NOTYPE  LOCAL  DEFAULT    3 i1JO_str
│ │ │ │ │ +    20: 00000000000003bf     0 NOTYPE  LOCAL  DEFAULT    3 i1Kj_str
│ │ │ │ │ +    21: 00000000000003c5     0 NOTYPE  LOCAL  DEFAULT    3 i1Kk_str
│ │ │ │ │      22: 0000000000000413     0 NOTYPE  LOCAL  DEFAULT    3 i1Ky_str
│ │ │ │ │      23: 0000000000000417     0 NOTYPE  LOCAL  DEFAULT    3 i1Kz_str
│ │ │ │ │      24: 0000000000000419     0 NOTYPE  LOCAL  DEFAULT    3 i1KA_str
│ │ │ │ │      25: 0000000000000461     0 NOTYPE  LOCAL  DEFAULT    3 i1KR_str
│ │ │ │ │      26: 0000000000000465     0 NOTYPE  LOCAL  DEFAULT    3 i1KS_str
│ │ │ │ │      27: 0000000000000467     0 NOTYPE  LOCAL  DEFAULT    3 i1KT_str
│ │ │ │ │      28: 0000000000000040     0 OBJECT  GLOBAL DEFAULT    7 numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_CAFs_cc_ccs
│ │ │ │ ├── readelf --wide --relocs {}
│ │ │ │ │ @@ -1,60 +1,60 @@
│ │ │ │ │  
│ │ │ │ │  Relocation section '.rela.text' at offset 0x2f78 contains 68 entries:
│ │ │ │ │      Offset             Info             Type               Symbol's Value  Symbol's Name + Addend
│ │ │ │ │ -0000000000000008  0000000400000018 R_X86_64_PC64          00000000000000b4 i1F0_str - 20
│ │ │ │ │ -0000000000000010  0000000500000018 R_X86_64_PC64          00000000000000be i1F1_str - 18
│ │ │ │ │ +0000000000000008  0000000400000018 R_X86_64_PC64          00000000000000b4 i1Fq_str - 20
│ │ │ │ │ +0000000000000010  0000000500000018 R_X86_64_PC64          00000000000000be i1Fr_str - 18
│ │ │ │ │  000000000000002c  0000003f00000004 R_X86_64_PLT32         0000000000000000 stg_ap_0_fast - 4
│ │ │ │ │  0000000000000038  0000000600000018 R_X86_64_PC64          0000000000000111 i1FF_str - 20
│ │ │ │ │  0000000000000040  0000000700000018 R_X86_64_PC64          000000000000011b i1FG_str - 18
│ │ │ │ │  000000000000005b  0000005a00000002 R_X86_64_PC32          00000000000000b8 numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatZZ1_closure - 3
│ │ │ │ │  0000000000000070  0000000800000018 R_X86_64_PC64          000000000000017d i1FT_str - 20
│ │ │ │ │  0000000000000078  0000000900000018 R_X86_64_PC64          0000000000000186 i1FU_str - 18
│ │ │ │ │ -0000000000000098  0000000a00000018 R_X86_64_PC64          00000000000001de i1Gk_str - 20
│ │ │ │ │ -00000000000000a0  0000000b00000018 R_X86_64_PC64          00000000000001e2 i1Gl_str - 18
│ │ │ │ │ +0000000000000098  0000000a00000018 R_X86_64_PC64          00000000000001de i1H9_str - 20
│ │ │ │ │ +00000000000000a0  0000000b00000018 R_X86_64_PC64          00000000000001e2 i1Ha_str - 18
│ │ │ │ │  00000000000000b4  0000000300000002 R_X86_64_PC32          0000000000000000 .data + 294
│ │ │ │ │  00000000000000bd  0000004e00000002 R_X86_64_PC32          0000000000000000 era - 5
│ │ │ │ │  00000000000000d0  0000004e00000002 R_X86_64_PC32          0000000000000000 era - 4
│ │ │ │ │  000000000000010e  0000005900000004 R_X86_64_PLT32         0000000000000000 newCAF - 4
│ │ │ │ │  000000000000011f  000000440000000b R_X86_64_32S           0000000000000000 stg_bh_upd_frame_info + 0
│ │ │ │ │  0000000000000140  0000000300000002 R_X86_64_PC32          0000000000000000 .data + 25e
│ │ │ │ │  0000000000000149  0000003900000004 R_X86_64_PLT32         0000000000000000 ghczminternal_GHCziInternalziErr_undefined_info - 4
│ │ │ │ │ -0000000000000160  0000000c00000018 R_X86_64_PC64          000000000000023c i1Hf_str - 20
│ │ │ │ │ -0000000000000168  0000000d00000018 R_X86_64_PC64          0000000000000244 i1Hg_str - 18
│ │ │ │ │ +0000000000000160  0000000c00000018 R_X86_64_PC64          000000000000023c i1I4_str - 20
│ │ │ │ │ +0000000000000168  0000000d00000018 R_X86_64_PC64          0000000000000244 i1I5_str - 18
│ │ │ │ │  000000000000017c  0000000300000002 R_X86_64_PC32          0000000000000000 .data + 2f4
│ │ │ │ │  0000000000000185  0000004e00000002 R_X86_64_PC32          0000000000000000 era - 5
│ │ │ │ │  0000000000000198  0000004e00000002 R_X86_64_PC32          0000000000000000 era - 4
│ │ │ │ │  00000000000001c4  0000002f0000000b R_X86_64_32S           0000000000000000 stg_upd_frame_info + 0
│ │ │ │ │  00000000000001e6  000000010000000b R_X86_64_32S           0000000000000000 .text + 230
│ │ │ │ │  00000000000001ed  0000005f00000002 R_X86_64_PC32          00000000000002c8 numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatS1_closure - 4
│ │ │ │ │  0000000000000205  0000004b00000004 R_X86_64_PLT32         0000000000000000 stg_ap_p_fast - 4
│ │ │ │ │  000000000000022c  0000004800000002 R_X86_64_PC32          0000000000000000 ghczmbignum_GHCziNumziInteger_integerAdd_closure - 4
│ │ │ │ │  0000000000000241  0000002700000002 R_X86_64_PC32          0000000000000108 numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatS2_closure - 3
│ │ │ │ │  000000000000024a  0000004700000004 R_X86_64_PLT32         0000000000000000 ghczmbignum_GHCziNumziInteger_integerAdd_info - 4
│ │ │ │ │ -0000000000000258  0000000e00000018 R_X86_64_PC64          0000000000000297 i1Hh_str - 20
│ │ │ │ │ -0000000000000260  0000000f00000018 R_X86_64_PC64          00000000000002a1 i1Hi_str - 18
│ │ │ │ │ +0000000000000258  0000000e00000018 R_X86_64_PC64          0000000000000297 i1I6_str - 20
│ │ │ │ │ +0000000000000260  0000000f00000018 R_X86_64_PC64          00000000000002a1 i1I7_str - 18
│ │ │ │ │  000000000000027a  0000004e00000002 R_X86_64_PC32          0000000000000000 era - 5
│ │ │ │ │  000000000000028d  0000004e00000002 R_X86_64_PC32          0000000000000000 era - 4
│ │ │ │ │  00000000000002c0  0000005d00000004 R_X86_64_PLT32         0000000000000000 enterFunCCS - 4
│ │ │ │ │ -00000000000002e0  0000001000000018 R_X86_64_PC64          00000000000002f2 i1Hj_str - 20
│ │ │ │ │ -00000000000002e8  0000001100000018 R_X86_64_PC64          00000000000002fc i1Hk_str - 18
│ │ │ │ │ +00000000000002e0  0000001000000018 R_X86_64_PC64          00000000000002f2 i1I8_str - 20
│ │ │ │ │ +00000000000002e8  0000001100000018 R_X86_64_PC64          00000000000002fc i1I9_str - 18
│ │ │ │ │  00000000000002fc  0000000300000002 R_X86_64_PC32          0000000000000000 .data + 2f4
│ │ │ │ │  0000000000000322  000000010000000b R_X86_64_32S           0000000000000000 .text + 180
│ │ │ │ │  0000000000000334  0000004e00000002 R_X86_64_PC32          0000000000000000 era - 4
│ │ │ │ │  000000000000033f  0000005800000002 R_X86_64_PC32          0000000000000000 user_era - 4
│ │ │ │ │  000000000000035e  000000010000000b R_X86_64_32S           0000000000000000 .text + 278
│ │ │ │ │  0000000000000370  0000004e00000002 R_X86_64_PC32          0000000000000000 era - 4
│ │ │ │ │  000000000000037b  0000005800000002 R_X86_64_PC32          0000000000000000 user_era - 4
│ │ │ │ │  0000000000000393  0000003f00000004 R_X86_64_PLT32         0000000000000000 stg_ap_0_fast - 4
│ │ │ │ │  00000000000003a5  0000002300000002 R_X86_64_PC32          0000000000000328 numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_closure - 4
│ │ │ │ │ -00000000000003b8  0000001200000018 R_X86_64_PC64          000000000000035e i1J2_str - 20
│ │ │ │ │ -00000000000003c0  0000001300000018 R_X86_64_PC64          0000000000000367 i1J3_str - 18
│ │ │ │ │ +00000000000003b8  0000001200000018 R_X86_64_PC64          000000000000035e i1JN_str - 20
│ │ │ │ │ +00000000000003c0  0000001300000018 R_X86_64_PC64          0000000000000367 i1JO_str - 18
│ │ │ │ │  00000000000003d4  0000002300000002 R_X86_64_PC32          0000000000000328 numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_closure - 4
│ │ │ │ │ -00000000000003e8  0000001400000018 R_X86_64_PC64          00000000000003bf i1JM_str - 20
│ │ │ │ │ -00000000000003f0  0000001500000018 R_X86_64_PC64          00000000000003c5 i1JN_str - 18
│ │ │ │ │ +00000000000003e8  0000001400000018 R_X86_64_PC64          00000000000003bf i1Kj_str - 20
│ │ │ │ │ +00000000000003f0  0000001500000018 R_X86_64_PC64          00000000000003c5 i1Kk_str - 18
│ │ │ │ │  0000000000000426  000000400000000b R_X86_64_32S           0000000000000500 numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_S_con_info + 0
│ │ │ │ │  0000000000000438  0000004e00000002 R_X86_64_PC32          0000000000000000 era - 4
│ │ │ │ │  0000000000000443  0000005800000002 R_X86_64_PC32          0000000000000000 user_era - 4
│ │ │ │ │  0000000000000466  0000002900000002 R_X86_64_PC32          0000000000000640 numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_S_closure - 4
│ │ │ │ │  0000000000000470  0000001800000018 R_X86_64_PC64          0000000000000419 i1KA_str - 28
│ │ │ │ │  0000000000000478  0000001600000018 R_X86_64_PC64          0000000000000413 i1Ky_str - 20
│ │ │ │ │  0000000000000480  0000001700000018 R_X86_64_PC64          0000000000000417 i1Kz_str - 18
│ │ │ │ ├── strings --all --bytes=8 {}
│ │ │ │ │ @@ -4,46 +4,46 @@
│ │ │ │ │  ./Numeric/NumType/DK/Naturals.hs
│ │ │ │ │  Numeric.NumType.DK.Naturals
│ │ │ │ │  numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E
│ │ │ │ │  undefined
│ │ │ │ │  ->Integer
│ │ │ │ │  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.natVal_ri7>
│ │ │ │ │  ->Integer
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatZ_$cnatVal_r1D5>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatZ_$cnatVal_r1Et>
│ │ │ │ │  KnownNat
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatZ_rLS>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatS1_r1D3>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.lvl11_s1DC>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatZ_rMY>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatS1_r1Er>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.lvl11_s1EY>
│ │ │ │ │  ->Integer
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.sat_s1DG>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.sat_s1F2>
│ │ │ │ │  ->Integer
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatS_$cnatVal_r1D2>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatS_$cnatVal_r1Eq>
│ │ │ │ │  KnownNat
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatS_rLL>
│ │ │ │ │ -<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.S_rJ1>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatS_rMR>
│ │ │ │ │ +<numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.S_rJm>
│ │ │ │ │  numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.Z
│ │ │ │ │  numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.S
│ │ │ │ │ -i1F0_str
│ │ │ │ │ -i1F1_str
│ │ │ │ │ +i1Fq_str
│ │ │ │ │ +i1Fr_str
│ │ │ │ │  i1FF_str
│ │ │ │ │  i1FG_str
│ │ │ │ │  i1FT_str
│ │ │ │ │  i1FU_str
│ │ │ │ │ -i1Gk_str
│ │ │ │ │ -i1Gl_str
│ │ │ │ │ -i1Hf_str
│ │ │ │ │ -i1Hg_str
│ │ │ │ │ -i1Hh_str
│ │ │ │ │ -i1Hi_str
│ │ │ │ │ -i1Hj_str
│ │ │ │ │ -i1Hk_str
│ │ │ │ │ -i1J2_str
│ │ │ │ │ -i1J3_str
│ │ │ │ │ -i1JM_str
│ │ │ │ │ +i1H9_str
│ │ │ │ │ +i1Ha_str
│ │ │ │ │ +i1I4_str
│ │ │ │ │ +i1I5_str
│ │ │ │ │ +i1I6_str
│ │ │ │ │ +i1I7_str
│ │ │ │ │ +i1I8_str
│ │ │ │ │ +i1I9_str
│ │ │ │ │  i1JN_str
│ │ │ │ │ +i1JO_str
│ │ │ │ │ +i1Kj_str
│ │ │ │ │ +i1Kk_str
│ │ │ │ │  i1Ky_str
│ │ │ │ │  i1Kz_str
│ │ │ │ │  i1KA_str
│ │ │ │ │  i1KR_str
│ │ │ │ │  i1KS_str
│ │ │ │ │  i1KT_str
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_CAFs_cc_ccs
│ │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
│ │ │ │ │ @@ -2,16 +2,16 @@
│ │ │ │ │  
│ │ │ │ │  
│ │ │ │ │  Disassembly of section .text:
│ │ │ │ │  
│ │ │ │ │  0000000000000000 <numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_natVal_info-0x28>:
│ │ │ │ │  	add    $0x1000000,%eax
│ │ │ │ │  	...
│ │ │ │ │ - R_X86_64_PC64	i1F0_str-0x20
│ │ │ │ │ - R_X86_64_PC64	i1F1_str-0x18
│ │ │ │ │ + R_X86_64_PC64	i1Fq_str-0x20
│ │ │ │ │ + R_X86_64_PC64	i1Fr_str-0x18
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %cl,(%rsi)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	...
│ │ │ │ │  
│ │ │ │ │ @@ -49,16 +49,16 @@
│ │ │ │ │  	...
│ │ │ │ │  
│ │ │ │ │  0000000000000090 <numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatZZ_info>:
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatZZ_info():
│ │ │ │ │  	jmp    58 <numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatZZzuzdcnatVal_info>
│ │ │ │ │  	nopw   0x0(%rax,%rax,1)
│ │ │ │ │  	...
│ │ │ │ │ - R_X86_64_PC64	i1Gk_str-0x20
│ │ │ │ │ - R_X86_64_PC64	i1Gl_str-0x18
│ │ │ │ │ + R_X86_64_PC64	i1H9_str-0x20
│ │ │ │ │ + R_X86_64_PC64	i1Ha_str-0x18
│ │ │ │ │  	adc    $0x0,%eax
│ │ │ │ │   R_X86_64_PC32	.data+0x294
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	...
│ │ │ │ │  
│ │ │ │ │  00000000000000b8 <numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatS1_info>:
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatS1_info():
│ │ │ │ │ @@ -104,16 +104,16 @@
│ │ │ │ │   R_X86_64_PLT32	ghczminternal_GHCziInternalziErr_undefined_info-0x4
│ │ │ │ │  	mov    (%r14),%rax
│ │ │ │ │  	jmp    *%rax
│ │ │ │ │  	mov    %rax,%rbx
│ │ │ │ │  	jmp    *-0x10(%r13)
│ │ │ │ │  	nopl   0x0(%rax)
│ │ │ │ │  	...
│ │ │ │ │ - R_X86_64_PC64	i1Hf_str-0x20
│ │ │ │ │ - R_X86_64_PC64	i1Hg_str-0x18
│ │ │ │ │ + R_X86_64_PC64	i1I4_str-0x20
│ │ │ │ │ + R_X86_64_PC64	i1I5_str-0x18
│ │ │ │ │  	add    %eax,(%rax)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	adc    %al,(%rax)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │ @@ -172,16 +172,16 @@
│ │ │ │ │   R_X86_64_PC32	numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatS2_closure-0x3
│ │ │ │ │  	add    $0x10,%rbp
│ │ │ │ │  	jmp    24e <numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatS1_info+0x196>
│ │ │ │ │   R_X86_64_PLT32	ghczmbignum_GHCziNumziInteger_integerAdd_info-0x4
│ │ │ │ │  	xchg   %ax,%ax
│ │ │ │ │  	add    $0x1000000,%eax
│ │ │ │ │  	...
│ │ │ │ │ - R_X86_64_PC64	i1Hh_str-0x20
│ │ │ │ │ - R_X86_64_PC64	i1Hi_str-0x18
│ │ │ │ │ + R_X86_64_PC64	i1I6_str-0x20
│ │ │ │ │ + R_X86_64_PC64	i1I7_str-0x18
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %al,(%rcx)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %cl,(%rcx)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │ @@ -212,16 +212,16 @@
│ │ │ │ │  	mov    0x17(%rbx),%rbx
│ │ │ │ │  	and    $0xfffffffffffffff8,%rbx
│ │ │ │ │  	mov    (%rbx),%rax
│ │ │ │ │  	jmp    *%rax
│ │ │ │ │  	nopl   (%rax)
│ │ │ │ │  	add    $0x1000000,%eax
│ │ │ │ │  	...
│ │ │ │ │ - R_X86_64_PC64	i1Hj_str-0x20
│ │ │ │ │ - R_X86_64_PC64	i1Hk_str-0x18
│ │ │ │ │ + R_X86_64_PC64	i1I8_str-0x20
│ │ │ │ │ + R_X86_64_PC64	i1I9_str-0x18
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %cl,(%rsi)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │   R_X86_64_PC32	.data+0x2f4
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	...
│ │ │ │ │ @@ -264,32 +264,32 @@
│ │ │ │ │  	movq   $0x48,0x388(%r13)
│ │ │ │ │  	lea    0x0(%rip),%rbx        
│ │ │ │ │   R_X86_64_PC32	numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_closure-0x4
│ │ │ │ │  	jmp    *-0x8(%r13)
│ │ │ │ │  	nopl   (%rax)
│ │ │ │ │  	add    $0x1000000,%eax
│ │ │ │ │  	...
│ │ │ │ │ - R_X86_64_PC64	i1J2_str-0x20
│ │ │ │ │ - R_X86_64_PC64	i1J3_str-0x18
│ │ │ │ │ + R_X86_64_PC64	i1JN_str-0x20
│ │ │ │ │ + R_X86_64_PC64	i1JO_str-0x18
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %cl,(%rsi)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │   R_X86_64_PC32	numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_closure-0x4
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	...
│ │ │ │ │  
│ │ │ │ │  00000000000003d8 <numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatS_info>:
│ │ │ │ │  numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatS_info():
│ │ │ │ │  	jmp    300 <numtypezmdkzm0zi5zi0zi3zm5vgG9ArPQSf4qFzzUrLOF1E_NumericziNumTypeziDKziNaturals_zdfKnownNatSzuzdcnatVal_info>
│ │ │ │ │  	nopl   (%rax)
│ │ │ │ │  	add    $0x1000000,%eax
│ │ │ │ │  	...
│ │ │ │ │ - R_X86_64_PC64	i1JM_str-0x20
│ │ │ │ │ - R_X86_64_PC64	i1JN_str-0x18
│ │ │ │ │ + R_X86_64_PC64	i1Kj_str-0x20
│ │ │ │ │ + R_X86_64_PC64	i1Kk_str-0x18
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %cl,(%rsi)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	add    %al,(%rax)
│ │ │ │ │  	...
│ │ │ │ ├── readelf --wide --decompress --string-dump=.rodata.str {}
│ │ │ │ │ @@ -10,29 +10,29 @@
│ │ │ │ │    [    43]  ./Numeric/NumType/DK/Naturals.hs
│ │ │ │ │    [    64]  Numeric.NumType.DK.Naturals
│ │ │ │ │    [    80]  numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E
│ │ │ │ │    [    aa]  undefined
│ │ │ │ │    [    b4]  ->Integer
│ │ │ │ │    [    be]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.natVal_ri7>
│ │ │ │ │    [   111]  ->Integer
│ │ │ │ │ -  [   11b]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatZ_$cnatVal_r1D5>
│ │ │ │ │ +  [   11b]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatZ_$cnatVal_r1Et>
│ │ │ │ │    [   17d]  KnownNat
│ │ │ │ │ -  [   186]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatZ_rLS>
│ │ │ │ │ +  [   186]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatZ_rMY>
│ │ │ │ │    [   1de]  ->*
│ │ │ │ │ -  [   1e2]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatS1_r1D3>
│ │ │ │ │ +  [   1e2]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatS1_r1Er>
│ │ │ │ │    [   23c]  Integer
│ │ │ │ │ -  [   244]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.lvl11_s1DC>
│ │ │ │ │ +  [   244]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.lvl11_s1EY>
│ │ │ │ │    [   297]  ->Integer
│ │ │ │ │ -  [   2a1]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.sat_s1DG>
│ │ │ │ │ +  [   2a1]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.sat_s1F2>
│ │ │ │ │    [   2f2]  ->Integer
│ │ │ │ │ -  [   2fc]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatS_$cnatVal_r1D2>
│ │ │ │ │ +  [   2fc]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatS_$cnatVal_r1Eq>
│ │ │ │ │    [   35e]  KnownNat
│ │ │ │ │ -  [   367]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatS_rLL>
│ │ │ │ │ +  [   367]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.$fKnownNatS_rMR>
│ │ │ │ │    [   3bf]  ->Nat
│ │ │ │ │ -  [   3c5]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.S_rJ1>
│ │ │ │ │ +  [   3c5]  <numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.S_rJm>
│ │ │ │ │    [   413]  Nat
│ │ │ │ │    [   417]  Z
│ │ │ │ │    [   419]  numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.Z
│ │ │ │ │    [   461]  Nat
│ │ │ │ │    [   465]  S
│ │ │ │ │    [   467]  numtype-dk-0.5.0.3-5vgG9ArPQSf4qFzUrLOF1E:Numeric.NumType.DK.Naturals.S
│ │ │ │ ├── readelf --wide --decompress --hex-dump=.strtab {}
│ │ │ │ │ @@ -1,19 +1,19 @@
│ │ │ │ │  
│ │ │ │ │  Hex dump of section '.strtab':
│ │ │ │ │ -  0x00000000 00693146 305f7374 72006931 46315f73 .i1F0_str.i1F1_s
│ │ │ │ │ +  0x00000000 00693146 715f7374 72006931 46725f73 .i1Fq_str.i1Fr_s
│ │ │ │ │    0x00000010 74720069 3146465f 73747200 69314647 tr.i1FF_str.i1FG
│ │ │ │ │    0x00000020 5f737472 00693146 545f7374 72006931 _str.i1FT_str.i1
│ │ │ │ │ -  0x00000030 46555f73 74720069 31476b5f 73747200 FU_str.i1Gk_str.
│ │ │ │ │ -  0x00000040 6931476c 5f737472 00693148 665f7374 i1Gl_str.i1Hf_st
│ │ │ │ │ -  0x00000050 72006931 48675f73 74720069 3148685f r.i1Hg_str.i1Hh_
│ │ │ │ │ -  0x00000060 73747200 69314869 5f737472 00693148 str.i1Hi_str.i1H
│ │ │ │ │ -  0x00000070 6a5f7374 72006931 486b5f73 74720069 j_str.i1Hk_str.i
│ │ │ │ │ -  0x00000080 314a325f 73747200 69314a33 5f737472 1J2_str.i1J3_str
│ │ │ │ │ -  0x00000090 0069314a 4d5f7374 72006931 4a4e5f73 .i1JM_str.i1JN_s
│ │ │ │ │ +  0x00000030 46555f73 74720069 3148395f 73747200 FU_str.i1H9_str.
│ │ │ │ │ +  0x00000040 69314861 5f737472 00693149 345f7374 i1Ha_str.i1I4_st
│ │ │ │ │ +  0x00000050 72006931 49355f73 74720069 3149365f r.i1I5_str.i1I6_
│ │ │ │ │ +  0x00000060 73747200 69314937 5f737472 00693149 str.i1I7_str.i1I
│ │ │ │ │ +  0x00000070 385f7374 72006931 49395f73 74720069 8_str.i1I9_str.i
│ │ │ │ │ +  0x00000080 314a4e5f 73747200 69314a4f 5f737472 1JN_str.i1JO_str
│ │ │ │ │ +  0x00000090 0069314b 6a5f7374 72006931 4b6b5f73 .i1Kj_str.i1Kk_s
│ │ │ │ │    0x000000a0 74720069 314b795f 73747200 69314b7a tr.i1Ky_str.i1Kz
│ │ │ │ │    0x000000b0 5f737472 0069314b 415f7374 72006931 _str.i1KA_str.i1
│ │ │ │ │    0x000000c0 4b525f73 74720069 314b535f 73747200 KR_str.i1KS_str.
│ │ │ │ │    0x000000d0 69314b54 5f737472 006e756d 74797065 i1KT_str.numtype
│ │ │ │ │    0x000000e0 7a6d646b 7a6d307a 69357a69 307a6933 zmdkzm0zi5zi0zi3
│ │ │ │ │    0x000000f0 7a6d3576 67473941 72505153 66347146 zm5vgG9ArPQSf4qF
│ │ │ │ │    0x00000100 7a7a5572 4c4f4631 455f4e75 6d657269 zzUrLOF1E_Numeri