2 #include <cln/ffloat.h>
3 #include <cln/ffloat_io.h>
5 static div_test ffloat_div_tests[] = {
7 { "0.73739415", "0.6416277",
10 { "0.6736158", "-0.25522494",
13 { "-0.44216943", "0.31134832",
16 { "-0.7041118", "-0.26929635",
19 { "0.3573562", "0.73521775",
22 { "-0.7661392", "0.77110463",
25 { "-0.91306114", "1.6586358E9",
28 { "-0.68994707", "4.0230333E8",
31 { "0.28498656", "-7.617844E9",
34 { "-0.72419757", "-9.226896E9",
37 { "0.8352187", "8.3102536E9",
40 { "0.9707725", "3.3669448E9",
43 { "0.50785017", "6.048824E-11",
46 { "-0.17675805", "4.1391092E-11",
49 { "-0.42162335", "-4.4007357E-11",
52 { "-7.945299E-4", "-5.4965265E-11",
55 { "-0.65178335", "-9.78151E-12",
58 { "-0.6209788", "-3.8544803E-11",
61 { "0.94332725", "-4.9823833E19",
64 { "0.30150706", "-4.9741757E19",
67 { "-0.8478371", "-9.85865E18",
70 { "-0.28524554", "3.1389898E19",
73 { "-0.5260848", "-7.936286E19",
76 { "-0.12941593", "-5.3575864E19",
79 { "-0.20859545", "-9.867267E-21",
82 { "0.35158414", "-8.2825064E-22",
85 { "-0.05635804", "-2.2999601E-21",
88 { "-0.003138721", "-3.3988403E-21",
91 { "-0.91386896", "-5.8199337E-21",
94 { "-0.5374476", "2.256708E-21",
97 { "1.9669795E9", "-0.58137333",
100 { "-8.9879334E8", "0.35829848",
103 { "-9.057627E9", "0.4849478",
106 { "3.687799E8", "-0.34055912",
109 { "-5.1049994E9", "-0.16858816",
112 { "-4.512774E9", "0.9385354",
115 { "-1.9312024E9", "-8.3940613E9",
118 { "-8.2104387E9", "6.769607E9",
121 { "-6.9613486E9", "4.576518E9",
124 { "-1.486333E9", "1.2476433E9",
127 { "-7.653413E9", "5.167656E9",
130 { "-2.9815204E9", "8.942396E9",
133 { "9.304549E9", "-5.8002263E-11",
136 { "-2.0750719E9", "1.272735E-11",
139 { "-1.1557549E9", "-7.2220556E-11",
142 { "-3.3273495E9", "-9.9207274E-11",
145 { "-3.2167434E9", "7.7474506E-11",
148 { "4.4169416E9", "-4.638272E-11",
151 { "-3.732909E9", "-2.2763849E18",
154 { "-6.243126E9", "-4.1274483E19",
157 { "4.7162563E9", "-7.524631E19",
160 { "-1.3657349E9", "7.728982E19",
163 { "-4.6216906E8", "-7.972877E19",
166 { "4.4542986E9", "3.1531836E19",
169 { "1.4738977E9", "-9.8130876E-21",
172 { "-5.918336E9", "2.9877495E-21",
175 { "-3.7166292E9", "-1.0826009E-21",
178 { "7.390683E9", "-2.1678685E-22",
181 { "6.2302886E8", "8.9466635E-21",
184 { "5.2357125E9", "4.854464E-22",
187 { "-2.7721167E-11", "0.99550104",
190 { "5.754337E-11", "-0.6344538",
193 { "-7.663363E-11", "0.020810604",
196 { "3.2576632E-11", "0.6209498",
199 { "-9.507874E-11", "-0.19174337",
202 { "-9.681176E-11", "-0.82680905",
205 { "6.458532E-11", "3.442031E8",
208 { "1.9113166E-11", "-7.0712125E9",
211 { "-2.0099402E-12", "2.600844E9",
214 { "-4.9634992E-12", "8.041176E9",
217 { "3.2738747E-12", "7.299675E9",
220 { "9.133733E-12", "-2.6318538E9",
223 { "-3.4146054E-11", "-1.5331155E-11",
226 { "6.06336E-11", "4.3750472E-11",
229 { "-4.229064E-11", "-9.169808E-11",
232 { "6.166104E-11", "-3.5474658E-11",
235 { "-3.979801E-11", "-1.9510412E-11",
238 { "9.726933E-11", "-5.6926824E-11",
241 { "8.041786E-11", "2.3718388E19",
244 { "-6.747094E-11", "-6.7324465E19",
247 { "-3.0713255E-11", "-4.8310887E19",
250 { "-2.8496396E-11", "-4.9017306E19",
253 { "-9.354275E-12", "-9.035095E19",
256 { "4.9274265E-12", "7.241873E19",
259 { "-4.377009E-11", "7.138917E-21",
262 { "9.422678E-12", "-5.8862136E-21",
265 { "-6.83782E-11", "-3.6098812E-21",
268 { "-8.1755075E-11", "-6.8725736E-21",
271 { "-6.360949E-11", "4.2976342E-21",
274 { "3.3879413E-11", "-1.7169743E-21",
277 { "-9.948093E18", "-0.8695114",
280 { "6.2748975E19", "-0.94829553",
283 { "-6.204444E18", "0.6874813",
286 { "6.7599936E19", "-0.45808762",
289 { "7.624068E19", "0.008471012",
292 { "8.342225E19", "-0.3031574",
295 { "-6.3366795E19", "-1.4882481E9",
298 { "-1.7335874E19", "-7.42875E9",
301 { "-8.662651E19", "1.0327226E9",
304 { "-4.9590965E19", "8.334462E9",
307 { "8.191562E18", "5.930472E9",
310 { "-3.5910857E19", "-7.342098E9",
313 { "-3.6083056E19", "5.7372277E-11",
316 { "2.2896613E19", "-4.541202E-11",
319 { "6.1438805E19", "8.512014E-11",
322 { "6.3211746E19", "-6.185377E-12",
325 { "4.5452835E18", "2.0429606E-11",
328 { "9.226608E19", "1.3297486E-11",
331 { "1.8852943E19", "-1.623413E19",
334 { "-3.117305E18", "-9.5760065E19",
337 { "-7.719376E19", "3.3627052E19",
340 { "3.1309093E19", "-7.820006E19",
343 { "3.941958E19", "-9.51598E19",
346 { "-3.6364467E19", "-1.0757047E19",
349 { "2.906561E17", "-8.595159E-21",
352 { "-7.826226E-21", "-0.21695328",
355 { "-1.888169E-21", "0.5031878",
358 { "8.304594E-21", "-0.3528648",
361 { "-8.441606E-21", "-0.3639353",
364 { "-7.815205E-21", "0.38263506",
367 { "-3.2837188E-21", "0.46961308",
370 { "-5.1739832E-21", "-3.8917279E9",
373 { "-5.3318596E-21", "-7.1995423E9",
376 { "-7.4979364E-22", "9.148773E9",
379 { "4.6800053E-21", "3.9532006E8",
382 { "4.914653E-22", "-2.414465E9",
385 { "5.4722133E-21", "-9.977777E9",
388 { "9.815656E-21", "6.059642E-11",
391 { "7.660357E-21", "9.7074675E-11",
394 { "9.77743E-21", "2.5170428E-11",
397 { "8.818017E-21", "1.18070545E-11",
400 { "5.445426E-21", "9.6208916E-11",
403 { "4.6823916E-21", "-1.9853067E-11",
406 { "9.347429E-21", "-7.285392E-22",
409 { "-7.304412E-21", "6.766496E-21",
412 { "-2.6850204E-21", "6.894023E-21",
415 { "-2.24644E-21", "-9.533858E-21",
418 { "-8.525939E-21", "-9.961187E-22",
421 { "8.145676E-21", "4.304153E-22",