2 #include <cln/ffloat.h>
3 #include <cln/ffloat_io.h>
5 static mul_test ffloat_mul_tests[] = {
7 { "0.3098436", "0.0057770014",
10 { "-0.14583993", "-0.028087378",
13 { "0.21399558", "0.96054405",
16 { "0.7590452", "0.8427266",
19 { "-0.34523207", "0.20272356",
22 { "-0.98096234", "0.98158866",
25 { "0.40309322", "4.0009994E9",
28 { "0.15507132", "9.481803E9",
31 { "0.5218476", "-2.1933102E9",
34 { "0.17258328", "2.6295781E8",
37 { "0.25962013", "8.699164E9",
40 { "0.47902477", "-1.4075732E9",
43 { "0.9642294", "-1.6256952E-11",
46 { "0.6098744", "-8.802921E-12",
49 { "-0.25792134", "4.804327E-11",
52 { "-0.8724403", "-9.101418E-11",
55 { "-0.13318628", "8.1157005E-11",
58 { "-0.54116476", "-9.353639E-11",
61 { "0.9018487", "7.411783E19",
64 { "-0.6835444", "-7.590606E19",
67 { "-0.9896146", "5.195105E18",
70 { "-0.4838531", "1.88174E19",
73 { "-0.31826657", "-3.3103586E19",
76 { "0.6818549", "-9.227651E19",
79 { "0.7676919", "7.320194E-21",
82 { "0.49369502", "4.9805288E-21",
85 { "0.9599328", "7.903804E-21",
88 { "0.13215566", "7.603894E-21",
91 { "-0.35744518", "-9.408464E-21",
94 { "-0.79346496", "9.006081E-21",
97 { "4.1775434E9", "-0.13509268",
100 { "7.27846E9", "-0.8181822",
103 { "2.9669427E9", "0.7082195",
106 { "7.609933E9", "-0.33963126",
109 { "3.4241843E9", "0.3924479",
112 { "-3.8366538E9", "0.56461394",
115 { "3.7237007E9", "1.2646783E9",
118 { "-2.7657871E9", "-3.6314278E9",
121 { "-4.753982E9", "-5.8879616E8",
124 { "8.877933E9", "7.973602E9",
127 { "-8.312081E9", "-8.941637E9",
130 { "-4.297749E9", "9.913122E9",
133 { "-7.893335E9", "-4.7961794E-11",
136 { "-4.1332334E9", "7.221582E-11",
139 { "1.9981688E9", "2.8169871E-11",
142 { "-5.8555295E9", "-7.562528E-11",
145 { "7.377872E9", "-1.5020383E-11",
148 { "8.891134E9", "-7.035395E-11",
151 { "-7.1412096E9", "5.1873507E19",
154 { "8.0983844E9", "9.136914E19",
157 { "-6.1437537E9", "-9.398771E19",
160 { "-2.3000973E9", "6.8743785E19",
163 { "3.5817969E9", "-6.0353143E19",
166 { "6.544234E9", "8.265139E19",
169 { "2.1273733E8", "-2.3684083E-21",
172 { "-4.2644698E9", "2.956708E-21",
175 { "-5.1238026E9", "5.341445E-21",
178 { "-3.0125368E9", "5.201843E-21",
181 { "-4.4709827E9", "-1.5399217E-22",
184 { "-4.934225E9", "5.9229795E-21",
187 { "-2.1100623E-11", "0.9615048",
190 { "6.6090705E-12", "0.4100405",
193 { "-9.541609E-11", "0.82497185",
196 { "-2.7884627E-11", "-0.5218528",
199 { "9.180904E-13", "-0.26436818",
202 { "2.6154882E-11", "0.2004636",
205 { "9.751009E-11", "-7.0098227E9",
208 { "-1.312651E-11", "1.9450307E8",
211 { "-4.591856E-11", "-4.6141565E8",
214 { "-4.1950752E-11", "-9.55923E9",
217 { "-2.1888996E-11", "9.976215E9",
220 { "4.2696267E-11", "-7.927695E9",
223 { "1.9615304E-11", "-5.3584637E-12",
226 { "-8.7289814E-11", "3.4389686E-11",
229 { "6.8621386E-11", "-1.4248663E-11",
232 { "-9.5643375E-11", "-7.7591066E-11",
235 { "-6.3313584E-11", "5.173857E-11",
238 { "-6.968663E-11", "-4.966581E-12",
241 { "7.942278E-11", "-3.1309486E19",
244 { "1.7023414E-11", "2.5512804E19",
247 { "2.6554937E-11", "9.146128E19",
250 { "9.309172E-13", "-3.6298406E19",
253 { "-6.106873E-11", "3.5271824E18",
256 { "-2.8420502E-11", "-6.6643682E19",
259 { "-5.84991E-11", "1.5304011E-21",
262 { "6.30787E-11", "-9.366236E-21",
265 { "1.9745445E-11", "7.034156E-21",
268 { "2.440728E-11", "6.50959E-22",
271 { "6.0243255E-11", "-1.7734902E-21",
274 { "1.0381073E-11", "7.167948E-21",
277 { "6.3378214E18", "0.022634745",
280 { "5.4942345E19", "0.26696533",
283 { "9.807893E19", "-0.99720424",
286 { "-7.1504E18", "0.045440495",
289 { "-7.265508E19", "0.37276286",
292 { "9.3705245E19", "0.6617385",
295 { "7.768628E19", "1.37205E9",
298 { "1.5640021E18", "9.344063E9",
301 { "3.8593804E19", "-9.424651E8",
304 { "-9.23689E19", "-6.980498E9",
307 { "7.926599E19", "5.0871127E9",
310 { "3.540541E19", "-5.11486E9",
313 { "-7.023858E19", "6.959093E-11",
316 { "-2.0809586E19", "-4.045683E-12",
319 { "5.3608545E19", "-7.0354486E-11",
322 { "8.974303E19", "-6.383404E-11",
325 { "-6.8900017E19", "9.845904E-11",
328 { "9.325442E19", "-3.9829796E-11",
331 { "5.9436735E19", "-5.713992E-21",
334 { "7.266224E18", "8.9780915E-21",
337 { "-3.6717237E18", "3.3338123E-21",
340 { "4.119367E19", "-7.309974E-21",
343 { "-8.453134E19", "4.6281215E-22",
346 { "-3.7493624E19", "5.480264E-21",
349 { "6.3693945E-21", "-0.25352144",
352 { "-8.51531E-21", "0.6031129",
355 { "-9.771993E-21", "0.2740926",
358 { "-4.2903415E-21", "0.5916119",
361 { "-3.7330673E-21", "0.9738175",
364 { "5.860415E-21", "-0.9997709",
367 { "-9.4827234E-21", "7.6195564E9",
370 { "5.9501194E-21", "9.102942E9",
373 { "2.8867428E-21", "-9.615872E9",
376 { "5.0077543E-21", "7.8715663E9",
379 { "7.082003E-21", "4.5221494E9",
382 { "-2.9215627E-21", "5.131017E9",
385 { "-9.1914904E-21", "-2.3301847E-11",
388 { "1.3389891E-21", "-7.032628E-11",
391 { "-8.540776E-21", "3.052019E-11",
394 { "-2.7608417E-21", "-6.8345785E-12",
397 { "1.2978333E-21", "-2.1870255E-12",
400 { "8.2235335E-23", "-3.5080876E-11",
403 { "-3.958064E-21", "8.038726E19",
406 { "7.752178E-21", "1.0747784E19",
409 { "-5.5964265E-21", "-8.700492E19",
412 { "3.2236927E-21", "3.6203593E19",
415 { "-6.308517E-21", "-3.8032156E19",
418 { "4.8663387E-21", "9.008218E19",