2 #include <cln/sfloat.h>
3 #include <cln/sfloat_io.h>
5 static div_test sfloat_div_tests[] = {
7 { "0.4319s0", "0.279747s0",
10 { "0.58111s0", "0.474937s0",
13 { "0.95817s0", "-0.209396s0",
16 { "-0.30497s0", "-0.182861s0",
19 { "-0.69316s0", "-0.32908s0",
22 { "-0.87152s0", "0.518326s0",
25 { "-0.81208s0", "3.27736s9",
28 { "0.88465s0", "2.15492s9",
31 { "-0.96446s0", "8.0971s9",
34 { "-0.65258s0", "-3.98033s9",
37 { "0.663826s0", "-7.88726s8",
40 { "-0.31185s0", "4.1015s9",
43 { "-0.89607s0", "-3.887s-14",
46 { "-0.670135s0", "-5.027s-14",
49 { "0.94663s0", "-6.153s-14",
52 { "-0.76772s0", "4.033s-14",
55 { "-0.446358s0", "-1.9017s-13",
58 { "-0.157814s0", "-2.0401s-13",
61 { "0.636185s0", "-3.78516s19",
64 { "-0.90556s0", "7.7192s19",
67 { "0.85053s0", "8.3134s19",
70 { "-0.3058s0", "3.00674s19",
73 { "0.219429s0", "-8.1184s19",
76 { "0.319603s0", "-2.0739s19",
79 { "0.58943s0", "-5.280s-24",
82 { "0.72955s0", "7.852s-24",
85 { "-0.66327s0", "-3.124s-24",
88 { "-0.0137558s0", "-7.918s-24",
91 { "0.35823s0", "5.467s-24",
94 { "0.93861s0", "9.968s-24",
97 { "3.83346s9", "0.99782s0",
100 { "8.7033s9", "-0.81822s0",
103 { "3.52326s8", "-0.79994s0",
106 { "8.0525s9", "-0.91803s0",
109 { "-2.12784s9", "-0.761246s0",
112 { "1.18805s9", "-0.903534s0",
115 { "-6.50556s9", "-5.4642s9",
118 { "3.3333s8", "1.8341s8",
121 { "3.70934s9", "9.1957s8",
124 { "-8.0459s9", "4.5511s9",
127 { "3.54982s9", "4.6631s8",
130 { "-6.27016s9", "-3.42858s9",
133 { "-4.3213s9", "7.223s-15",
136 { "-2.57753s9", "-2.533s-15",
139 { "3.8858s9", "-4.505s-14",
142 { "3.5946s9", "-5.067s-14",
145 { "2.94434s9", "8.333s-14",
148 { "5.6178s9", "-8.241s-14",
151 { "4.9591s8", "3.9972s19",
154 { "2.4166s9", "-9.2141s19",
157 { "-1.484s9", "2.0281s19",
160 { "2.2339s8", "1.96374s19",
163 { "-6.6306s9", "-2.414s19",
166 { "9.9114s9", "9.6187s19",
169 { "4.4579s9", "5.343s-24",
172 { "-6.35994s9", "-6.301s-24",
175 { "5.49677s9", "-1.9306s-25",
178 { "-5.007s9", "3.692s-24",
181 { "8.6837s9", "-1.6358s-23",
184 { "5.5898s9", "-5.435s-24",
187 { "-5.042s-14", "0.79081s0",
190 { "-6.231s-14", "0.96946s0",
193 { "6.016s-14", "0.418983s0",
196 { "-1.1682s-13", "0.70944s0",
199 { "-1.7485s-13", "0.83207s0",
202 { "7.831s-15", "-0.083374s0",
205 { "3.947s-14", "9.2342s9",
208 { "-1.1537s-13", "-6.44075s9",
211 { "6.751s-14", "5.8395s8",
214 { "-5.026s-14", "7.9677s9",
217 { "-1.0105s-13", "-1.71082s9",
220 { "-4.996s-14", "9.426s9",
223 { "-6.837s-14", "-3.573s-14",
226 { "-7.736s-14", "-4.898s-14",
229 { "3.777s-14", "8.025s-14",
232 { "-6.239s-14", "8.518s-15",
235 { "-7.548s-15", "-4.573s-14",
238 { "1.6293s-14", "4.712s-14",
241 { "-4.47s-14", "2.73658s19",
244 { "1.0583s-13", "2.52534s19",
247 { "4.351s-15", "2.70326s19",
250 { "3.699s-14", "-6.00707s19",
253 { "6.358s-14", "5.18274s19",
256 { "-2.971s-14", "6.153s19",
259 { "-4.968s-14", "7.699s-24",
262 { "-3.654s-14", "8.434s-24",
265 { "-9.276s-14", "-7.079s-24",
268 { "-4.556s-14", "1.3900s-23",
271 { "3.832s-14", "1.55715s-22",
274 { "1.4186s-13", "1.64482s-21",
277 { "-7.0974s19", "-0.705536s0",
280 { "-7.687s19", "-0.241531s0",
283 { "3.37013s19", "-0.425987s0",
286 { "6.56473s19", "-0.60696s0",
289 { "4.1598s19", "0.60135s0",
292 { "8.8312s19", "0.93547s0",
295 { "2.81357s19", "-2.62832s9",
298 { "5.9243s19", "-4.5189s8",
301 { "-8.3887s19", "9.5761s9",
304 { "7.7606s19", "-8.5369s9",
307 { "-7.9868s19", "5.0173s9",
310 { "7.4128s19", "-6.7781s9",
313 { "1.27472s19", "1.1699s-13",
316 { "2.97578s19", "4.448s-14",
319 { "7.19416s19", "1.3834s-13",
322 { "6.61843s19", "-4.268s-14",
325 { "2.8579s19", "4.364s-14",
328 { "8.2451s18", "-6.532s-14",
331 { "4.63364s19", "9.4305s19",
334 { "-1.81999s19", "1.05424s19",
337 { "-1.41579s19", "-4.03517s19",
340 { "-1.88523s18", "-3.3165s18",
343 { "8.4152s17", "-7.3293s19",
346 { "-8.674s19", "-3.63595s19",
349 { "-1.64643s-22", "0.78035s0",
352 { "-7.455s-24", "-0.63174s0",
355 { "-3.259s-24", "-0.89363s0",
358 { "1.5803s-23", "-0.11338s0",
361 { "-3.534s-24", "0.407562s0",
364 { "-7.221s-24", "0.90274s0",
367 { "1.0479s-23", "5.66256s8",
370 { "1.62856s-21", "-1.9551s9",
373 { "-8.102s-24", "9.7896s9",
376 { "9.693s-24", "-8.777s9",
379 { "8.643s-24", "-1.25557s9",
382 { "3.224s-24", "9.8161s9",
385 { "1.06582s-21", "-1.0408s-13",
388 { "1.6738s-23", "9.851s-14",
391 { "-1.1514s-23", "-6.509s-14",
394 { "9.171s-24", "9.292s-14",
397 { "1.8589s-23", "-4.213s-14",
400 { "1.2837s-23", "1.1034s-13",
403 { "3.671s-24", "1.0091s-23",
406 { "-3.373s-24", "-1.7017s-23",
409 { "-2.0157s-23", "1.0021s-23",
412 { "8.041s-24", "-1.3974s-23",
415 { "-5.391s-24", "1.1762s-23",
418 { "1.7735s-23", "-3.313s-24",