Missing constraints

1 files changed, 127 insertions, 7 deletions

diff --git a/tests/util.test b/tests/util.test
index c910b43..61a1790 100644
--- a/tests/util.test
+++ b/tests/util.test
@@ -14,6 +14,7 @@ if {[lsearch [namespace children] ::tcltest] == -1} {
 
 testConstraint testdstring [llength [info commands testdstring]]
 testConstraint testconcatobj [llength [info commands testconcatobj]]
+testConstraint testdoubledigits [llength [info commands testdoubledigits]]
 
 # Big test for correct ordering of data in [expr]
 
@@ -1142,538 +1143,624 @@ test util-11.23 {Tcl_PrintDouble - scaling} {
     expr 1.1e17
 } {1.1e+17}
 
-test util-12.1 {Tcl_DoubleDigits - Inf} ieeeFloatingPoint {
+test util-12.1 {Tcl_DoubleDigits - Inf} {testdoubledigits ieeeFloatingPoint} {
      testdoubledigits Inf -1 shortest
 } {Infinity 9999 +}
-test util-12.2 {Tcl_DoubleDigits - -Inf} ieeeFloatingPoint {
+test util-12.2 {Tcl_DoubleDigits - -Inf} {testdoubledigits ieeeFloatingPoint} {
      testdoubledigits -Inf -1 shortest
 } {Infinity 9999 -}
-test util-12.3 {Tcl_DoubleDigits - NaN} ieeeFloatingPoint {
+test util-12.3 {Tcl_DoubleDigits - NaN} {testdoubledigits ieeeFloatingPoint} {
      testdoubledigits $ieeeValues(NaN) -1 shortest
 } {NaN 9999 +}
-test util-12.4 {Tcl_DoubleDigits - NaN} ieeeFloatingPoint {
+test util-12.4 {Tcl_DoubleDigits - NaN} {testdoubledigits ieeeFloatingPoint} {
      testdoubledigits -NaN -1 shortest
 } {NaN 9999 -}
-test util-12.5 {Tcl_DoubleDigits - 0} {
+test util-12.5 {Tcl_DoubleDigits - 0} testdoubledigits {
      testdoubledigits 0.0 -1 shortest
 } {0 0 +}
-test util-12.6 {Tcl_DoubleDigits - -0} {
+test util-12.6 {Tcl_DoubleDigits - -0} testdoubledigits {
      testdoubledigits -0.0 -1 shortest
 } {0 0 -}
 
 # Verdonk test vectors
 
 test util-13.1 {just over exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1754e31cd072da E+1008 +4_000000000000000000& E+303
     }
     -result {}
 }
 test util-13.2 {just over exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1afcef51f0fb5f E+265 -1_000000000000000000& E+80
     }
     -result {}
 }
 test util-13.3 {just over exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1754e31cd072da E+1006 +1_000000000000000000& E+303
     }
     -result {}
 }
 test util-13.4 {just over exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1754e31cd072da E+1007 -2_000000000000000000& E+303
     }
     -result {}
 }
 test util-13.5 {just over exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1e07b27dd78b14 E-848 +1_00000000000000000& E-255
     }
     -result {}
 }
 test util-13.6 {just over exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1e29e9c56687fe E-709 -7_00000000000000000& E-214
     }
     -result {}
 }
 test util-13.7 {just over exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1be03d0bf225c7 E-137 +1_00000000000000000& E-41
     }
     -result {}
 }
 test util-13.8 {just over exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1a2fe76a3f9475 E-499 -1_00000000000000000& E-150
     }
     -result {}
 }
 test util-13.9 {just under exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 19a2028368022e E+1019 +8_999999999999999999& E+306
     }
     -result {}
 }
 test util-13.10 {just under exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1317e5ef3ab327 E+509 -1_999999999999999999& E+153
     }
     -result {}
 }
 test util-13.11 {just under exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1317e5ef3ab327 E+510 +3_99999999999999999& E+153
     }
     -result {}
 }
 test util-13.12 {just under exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1317e5ef3ab327 E+511 -7_99999999999999999& E+153
     }
     -result {}
 }
 test util-13.13 {just under exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1eb8e84fa0b278 E-1008 +6_999999999999999999& E-304
     }
     -result {}
 }
 test util-13.14 {just under exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -13339131c46f8b E-1004 -6_999999999999999999& E-303
     }
     -result {}
 }
 test util-13.15 {just under exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1c0f92a6276c9d E-162 +2_999999999999999999& E-49
     }
     -result {}
 }
 test util-13.16 {just under exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -15ce1f143d7ad2 E-443 -5_99999999999999999& E-134
     }
     -result {}
 }
 test util-13.17 {just over exact - 2 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1c0794d9d40e96 E-301 +43_000000000000000000& E-92
     }
     -result {}
 }
 test util-13.18 {just over exact - 2 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1c0794d9d40e96 E-300 -86_000000000000000000& E-92
     }
     -result {}
 }
 test util-13.19 {just over exact - 2 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1cd5bee57763e6 E-241 +51_000000000000000000& E-74
     }
     -result {}
 }
 test util-13.20 {just under exact - 2 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1d1c26db7d0dae E+651 +16_999999999999999999& E+195
     }
     -result {}
 }
 test util-13.21 {just under exact - 2 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -13f7ced916872b E-5 -38_999999999999999999& E-3
     }
     -result {}
 }
 test util-13.22 {just over exact - 3 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 17d93193f78fc6 E+588 +151_0000000000000000000& E+175
     }
     -result {}
 }
 test util-13.23 {just over exact - 3 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1a82a1631eeb30 E-625 -119_000000000000000000& E-190
     }
     -result {}
 }
 test util-13.24 {just under exact - 3 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -16c309024bab4b E+290 -282_999999999999999999& E+85
     }
     -result {}
 }
 test util-13.25 {just over exact - 8 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1dbbac6f83a821 E-800 +27869147_0000000000000000000& E-248
     }
     -result {}
 }
 test util-13.26 {just under exact - 9 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1c569e968e0944 E+430 -491080653_9999999999999999999& E+121
     }
     -result {}
 }
 test util-13.27 {just under exact - 9 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1c569e968e0944 E+429 +245540326_9999999999999999999& E+121
     }
     -result {}
 }
 test util-13.28 {just over exact - 10 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1fc575867314ee E-330 -9078555839_0000000000000000000& E-109
     }
     -result {}
 }
 test util-13.29 {just under exact - 10 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1c569e968e0944 E+428 -1227701634_9999999999999999999& E+120
     }
     -result {}
 }
 test util-13.30 {just over exact - 11 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1fc575867314ee E-329 +18157111678_0000000000000000000& E-109
     }
     -result {}
 }
 test util-13.31 {just over exact - 14 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -18bf7e7fa6f02a E-196 -15400733123779_0000000000000000000& E-72
     }
     -result {}
 }
 test util-13.32 {just over exact - 17 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -13de005bd620df E+217 -26153245263757307_0000000000000000000& E+49
     }
     -result {}
 }
 test util-13.33 {just over exact - 18 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1f92bacb3cb40c E+718 +272104041512242479_0000000000000000000& E+199
     }
     -result {}
 }
 test util-13.34 {just over exact - 18 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1f92bacb3cb40c E+719 -544208083024484958_0000000000000000000& E+199
     }
     -result {}
 }
 test util-13.35 {just over half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 142dbf25096cf5 E+148 +4_500000000000000000& E+44
     }
     -result {}
 }
 test util-13.36 {just over half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1afcef51f0fb5f E+263 -2_500000000000000000& E+79
     }
     -result {}
 }
 test util-13.37 {just over half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 102498ea6df0c4 E+145 +4_500000000000000000& E+43
     }
     -result {}
 }
 test util-13.38 {just over half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1754e31cd072da E+1004 -2_500000000000000000& E+302
     }
     -result {}
 }
 test util-13.39 {just over half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 12deac01e2b4f7 E-557 +2_50000000000000000& E-168
     }
     -result {}
 }
 test util-13.40 {just over half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1b1df536c13eee E-307 -6_50000000000000000& E-93
     }
     -result {}
 }
 test util-13.41 {just over half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 10711fed5b19a4 E-154 +4_50000000000000000& E-47
     }
     -result {}
 }
 test util-13.42 {just over half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -148d67e8b1e00d E-151 -4_50000000000000000& E-46
     }
     -result {}
 }
 test util-13.43 {just under half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1c8c574c0c6be7 E+187 +3_49999999999999999& E+56
     }
     -result {}
 }
 test util-13.44 {just under half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1756183c147514 E+206 -1_49999999999999999& E+62
     }
     -result {}
 }
 test util-13.45 {just under half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 12ab469676c410 E+203 +1_49999999999999999& E+61
     }
     -result {}
 }
 test util-13.46 {just under half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1539684e774b48 E+246 -1_49999999999999999& E+74
     }
     -result {}
 }
 test util-13.47 {just under half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 12e5f5dfa4fe9d E-286 +9_499999999999999999& E-87
     }
     -result {}
 }
 test util-13.48 {just under half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1bdc2417bf7787 E-838 -9_499999999999999999& E-253
     }
     -result {}
 }
 test util-13.49 {just under half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1eb8e84fa0b278 E-1009 +3_499999999999999999& E-304
     }
     -result {}
 }
 test util-13.50 {just under half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1e3cbc9907fdc8 E-290 -9_499999999999999999& E-88
     }
     -result {}
 }
 test util-13.51 {just over half ulp - 2 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 10ad836f269a17 E-324 +30_500000000000000000& E-99
     }
     -result {}
 }
 test util-13.52 {just over half ulp - 2 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1b39ae1909c31b E-687 -26_500000000000000000& E-208
     }
     -result {}
 }
 test util-13.53 {just over half ulp - 3 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1b2ab18615fcc6 E-576 +686_500000000000000000& E-176
     }
     -result {}
 }
 test util-13.54 {just over half ulp - 3 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -13e1f90a573064 E-624 -178_500000000000000000& E-190
     }
     -result {}
 }
 test util-13.55 {just under half ulp - 3 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 16c309024bab4b E+289 +141_499999999999999999& E+85
     }
     -result {}
 }
 test util-13.56 {just under half ulp - 4 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -159bd3ad46e346 E+193 -1695_499999999999999999& E+55
     }
     -result {}
 }
 test util-13.57 {just under half ulp - 4 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1df4170f0fdecc E+124 +3981_499999999999999999& E+34
     }
     -result {}
 }
 test util-13.58 {just over half ulp - 6 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 17e1e0f1c7a4ac E+415 +126300_5000000000000000000& E+120
     }
     -result {}
 }
 test util-13.59 {just over half ulp - 6 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1dda592e398dd7 E+418 -126300_5000000000000000000& E+121
     }
     -result {}
 }
 test util-13.60 {just under half ulp - 7 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1e597c0b94b7ae E+453 -4411845_499999999999999999& E+130
     }
     -result {}
 }
 test util-13.61 {just under half ulp - 9 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1c569e968e0944 E+427 +613850817_4999999999999999999& E+120
     }
     -result {}
 }
 test util-13.62 {just under half ulp - 9 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1c569e968e0944 E+428 -122770163_49999999999999999999& E+121
     }
     -result {}
 }
 test util-13.63 {just over half ulp - 18 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 17ae0c186d8709 E+719 +408156062268363718_5000000000000000000& E+199
     }
     -result {}
 }
 test util-13.64 {just over exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 152d02c7e14af7 E+76 +1_0000000000000000& E+23
     }
     -result {}
 }
 test util-13.65 {just over exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -19d971e4fe8402 E+89 -1_0000000000000000& E+27
     }
     -result {}
 }
 test util-13.66 {just over exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 19d971e4fe8402 E+90 +2_0000000000000000& E+27
     }
     -result {}
 }
 test util-13.67 {just over exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -19d971e4fe8402 E+91 -4_0000000000000000& E+27
     }
     -result {}
 }
 test util-13.68 {just over exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 15798ee2308c3a E-27 +1_0000000000000000& E-8
     }
     -result {}
 }
 test util-13.69 {just over exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -15798ee2308c3a E-26 -2_0000000000000000& E-8
     }
     -result {}
 }
 test util-13.70 {just over exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 15798ee2308c3a E-25 +4_0000000000000000& E-8
     }
     -result {}
 }
 test util-13.71 {just over exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1ef2d0f5da7dd9 E-84 -1_0000000000000000& E-25
     }
     -result {}
 }
 test util-13.72 {just under exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1a784379d99db4 E+78 +4_9999999999999999& E+23
     }
     -result {}
 }
 test util-13.73 {just under exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1a784379d99db4 E+80 -1_9999999999999999& E+24
     }
     -result {}
 }
 test util-13.74 {just under exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 13da329b633647 E+81 +2_9999999999999999& E+24
     }
     -result {}
 }
 test util-13.75 {just under exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1cf389cd46047d E+85 -6_9999999999999999& E+25
     }
     -result {}
 }
 test util-13.76 {just under exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 19999999999999 E-3 +1_99999999999999999& E-1
     }
     -result {}
 }
 test util-13.77 {just under exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -13333333333333 E-2 -2_99999999999999999& E-1
     }
     -result {}
 }
 test util-13.78 {just under exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 16849b86a12b9b E-48 +4_99999999999999999& E-15
     }
     -result {}
 }
 test util-13.79 {just under exact - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -16849b86a12b9b E-46 -1_99999999999999999& E-14
     }
     -result {}
 }
 test util-13.80 {just over exact - 2 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 17ccfc73126788 E-71 +63_00000000000000000& E-23
     }
     -result {}
 }
 test util-13.81 {just over exact - 2 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1dc03b8fd7016a E-68 -63_00000000000000000& E-22
     }
     -result {}
 }
 test util-13.82 {just under exact - 2 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 13f7ced916872b E-5 +38_999999999999999999& E-3
     }
     -result {}
 }
 test util-13.83 {just over exact - 3 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1b297cad9f70b6 E+97 +269_000000000000000000& E+27
     }
     -result {}
 }
 test util-13.84 {just over exact - 3 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1b297cad9f70b6 E+98 -538_00000000000000000& E+27
     }
     -result {}
 }
 test util-13.85 {just over exact - 3 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1cdc06b20ef183 E-82 +373_00000000000000000& E-27
     }
     -result {}
 }
 test util-13.86 {just over exact - 4 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1b297cad9f70b6 E+96 +1345_00000000000000000& E+26
     }
@@ -1681,205 +1768,238 @@ test util-13.86 {just over exact - 4 digits} {*}{
 }
 # this one is not 4 digits, it is 3, and it is covered above.
 test util-13.87 {just over exact - 4 digits} {*}{
-    -constraints knownBadTest
+    -constraints {testdoubledigits knownBadTest}
     -body {
         verdonk_test -1b297cad9f70b6 E+97 -2690_00000000000000000& E+26
     }
     -result {}
 }
 test util-13.88 {just over exact - 5 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -150a246ecd44f3 E-63 -14257_00000000000000000& E-23
     }
     -result {}
 }
 test util-13.89 {just under exact - 6 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -119b96f36ec68b E-19 -209900_999999999999999999& E-11
     }
     -result {}
 }
 test util-13.90 {just over exact - 11 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1c06d366394441 E-35 +50980203373_000000000000000000& E-21
     }
     -result {}
 }
 test util-13.91 {just under exact - 12 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1f58ac4db68c90 E+122 -104166211810_99999999999999999& E+26
     }
     -result {}
 }
 test util-13.92 {just over half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 19d971e4fe8402 E+87 +2_5000000000000000& E+26
     }
     -result {}
 }
 test util-13.93 {just over half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1dc74be914d16b E+81 -4_500000000000000& E+24
     }
     -result {}
 }
 test util-13.94 {just over half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 14adf4b7320335 E+84 +2_500000000000000& E+25
     }
     -result {}
 }
 test util-13.95 {just over half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1ae22487c1042b E+85 -6_5000000000000000& E+25
     }
     -result {}
 }
 test util-13.96 {just over half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 187fe49aab41e0 E-54 +8_5000000000000000& E-17
     }
     -result {}
 }
 test util-13.97 {just over half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1f5c05e4b23fd7 E-61 -8_5000000000000000& E-19
     }
     -result {}
 }
 test util-13.98 {just over half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1faa7ab552a552 E-42 +4_5000000000000000& E-13
     }
     -result {}
 }
 test util-13.99 {just over half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1b7cdfd9d7bdbb E-36 -2_5000000000000000& E-11
     }
     -result {}
 }
 test util-13.100 {just under half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 13da329b633647 E+80 +1_4999999999999999& E+24
     }
     -result {}
 }
 test util-13.101 {just under half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1cf389cd46047d E+84 -3_49999999999999999& E+25
     }
     -result {}
 }
 test util-13.102 {just under half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1f04ef12cb04cf E+85 +7_4999999999999999& E+25
     }
     -result {}
 }
 test util-13.103 {just under half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1f04ef12cb04cf E+86 -1_4999999999999999& E+26
     }
     -result {}
 }
 test util-13.104 {just under half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 13333333333333 E-3 +1_49999999999999999& E-1
     }
     -result {}
 }
 test util-13.105 {just under half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -107e1fe91b0b70 E-36 -1_49999999999999999& E-11
     }
     -result {}
 }
 test util-13.106 {just under half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 149da7e361ce4c E-33 +1_49999999999999999& E-10
     }
     -result {}
 }
 test util-13.107 {just under half ulp - 1 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -19c511dc3a41df E-30 -1_49999999999999999& E-9
     }
     -result {}
 }
 test util-13.108 {just over half ulp - 2 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1aa83d74267822 E+93 -16_5000000000000000& E+27
     }
     -result {}
 }
 test util-13.109 {just over half ulp - 2 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 18f1d5969453de E+89 +96_5000000000000000& E+25
     }
     -result {}
 }
 test util-13.110 {just over half ulp - 2 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 11d9bd564dcda6 E-70 +94_50000000000000000& E-23
     }
     -result {}
 }
 test util-13.111 {just over half ulp - 2 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1a58973ecbede6 E-48 -58_50000000000000000& E-16
     }
     -result {}
 }
 test util-13.112 {just over half ulp - 3 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1b297cad9f70b6 E+95 +672_50000000000000000& E+26
     }
     -result {}
 }
 test util-13.113 {just over half ulp - 3 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -1b297cad9f70b6 E+96 -134_500000000000000000& E+27
     }
     -result {}
 }
 test util-13.114 {just over half ulp - 3 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1cdc06b20ef183 E-83 +186_50000000000000000& E-27
     }
     -result {}
 }
 test util-13.115 {just over half ulp - 3 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -136071dcae4565 E-47 -860_50000000000000000& E-17
     }
     -result {}
 }
 test util-13.116 {just over half ulp - 6 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1cb968d297dde8 E+99 +113788_50000000000000000& E+25
     }
     -result {}
 }
 test util-13.117 {just over half ulp - 6 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test -11f3e1839eeab1 E+103 -113788_50000000000000000& E+26
     }
     -result {}
 }
 test util-13.118 {just under half ulp - 9 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1e9cec176c96f8 E+117 +317903333_49999999999999999& E+27
     }
     -result {}
 }
 test util-13.119 {just over half ulp - 11 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1c06d366394441 E-36 +25490101686_500000000000000000& E-21
     }
     -result {}
 }
 test util-13.120 {just under half ulp - 11 digits} {*}{
+    -constraints testdoubledigits
     -body {
         verdonk_test 1f58ac4db68c90 E+121 +52083105905_49999999999999999& E+26
     }