2 #include <cln/ffloat.h>
3 #include <cln/ffloat_io.h>
4 #include <cln/integer.h>
5 #include <cln/integer_io.h>
7 static floor_test ffloat_floor_tests[] = {
9 { "-0.8227301", "-0.25283414",
12 { "-0.6686161", "0.4833234",
15 { "-0.57436657", "0.52642506",
18 { "0.60395426", "-0.61624163",
19 "-1", "-0.012287392" },
21 { "-0.21636301", "0.90365344",
24 { "0.8705054", "-0.7953333",
25 "-2", "-0.72016126" },
27 { "0.4544462", "-9.890925E9",
28 "-1", "-9.890925E9" },
30 { "-0.4954149", "-3.8786918E9",
33 { "-0.692049", "6.4791506E9",
34 "-1", "6.4791506E9" },
36 { "0.75464755", "-3.618496E9",
37 "-1", "-3.618496E9" },
39 { "-0.5929247", "-5.442471E9",
42 { "-0.30383867", "9.262864E9",
45 { "0.9345329", "3.26737E-11",
46 "28601991168", "0.0" },
48 { "0.3772617", "-7.991702E-11",
49 "-4720667648", "0.0" },
51 { "0.74438447", "-1.0977978E-11",
52 "-67807064064", "0.0" },
54 { "-0.9220973", "-1.2655998E-11",
55 "72858525696", "0.0" },
57 { "-0.4615329", "6.48833E-11",
58 "-7113276928", "0.0" },
60 { "0.2851941", "-8.262349E-11",
61 "-3451731456", "0.0" },
63 { "0.61539984", "3.5826177E19",
66 { "-0.8195054", "8.793426E19",
67 "-1", "8.793426E19" },
69 { "-0.26412165", "7.015103E18",
70 "-1", "7.015103E18" },
72 { "-0.527393", "8.434833E19",
73 "-1", "8.434833E19" },
75 { "-0.1846056", "1.8252128E19",
76 "-1", "1.8252128E19" },
78 { "-0.6079822", "6.106683E19",
79 "-1", "6.106683E19" },
81 { "0.5564819", "5.953872E-21",
82 "93465542827563810816", "0.0" },
84 { "-0.52575815", "-1.8358678E-21",
85 "286381261476583178240", "0.0" },
87 { "-0.6321403", "-5.830945E-21",
88 "108411292344853200896", "0.0" },
90 { "-0.9675891", "-9.936226E-21",
91 "97379936163841703936", "0.0" },
93 { "-0.63503754", "-5.0137436E-21",
94 "126659359065470140416", "0.0" },
96 { "0.8053654", "-3.4055888E-22",
97 "-2364834534832713236480", "0.0" },
99 { "8.784645E9", "0.9775517",
100 "8986374144", "0.0" },
102 { "-9.314413E9", "-0.8318871",
103 "11196726272", "0.0" },
105 { "8.4695936E9", "-0.9823455",
106 "-8621807616", "0.0" },
108 { "-5.8406625E9", "-0.031723082",
109 "184113971200", "0.0" },
111 { "-7.325545E9", "0.93169844",
112 "-7862571008", "0.0" },
114 { "-5.2999526E9", "0.11515945",
115 "-46022733824", "0.0" },
117 { "6.680458E9", "7.170729E9",
120 { "-2.2146278E9", "5.2909993E9",
121 "-1", "3.0763715E9" },
123 { "6.4947005E9", "3.1265188E9",
124 "2", "2.4166298E8" },
126 { "7.947109E9", "2.464481E9",
129 { "8.899791E9", "3.5788132E9",
130 "2", "1.7421644E9" },
132 { "5.272568E9", "-5.3260964E9",
133 "-1", "-5.3528532E7" },
135 { "9.729838E8", "8.6379175E-11",
136 "11264101901890748416", "0.0" },
138 { "1.210882E9", "-4.412428E-11",
139 "-27442532596777484288", "0.0" },
141 { "9.169561E9", "-9.41537E-11",
142 "-97389277614631288832", "0.0" },
144 { "9.289745E9", "3.1269442E-11",
145 "297087021478284623872", "0.0" },
147 { "-5.334722E9", "2.0158666E-11",
148 "-264636651022615314432", "0.0" },
150 { "9.910798E9", "-2.985589E-11",
151 "-331954558296456691712", "0.0" },
153 { "-1.7169357E9", "2.220112E19",
154 "-1", "2.220112E19" },
156 { "4.9906683E9", "6.857979E19",
157 "0", "4.9906683E9" },
159 { "-9.90463E9", "-2.342953E19",
162 { "-5.4878054E8", "5.438576E19",
163 "-1", "5.438576E19" },
165 { "-6.1080986E9", "9.25119E19",
166 "-1", "9.25119E19" },
168 { "-8.4138286E9", "-9.682224E19",
169 "0", "-8.4138286E9" },
171 { "2.7084977E9", "2.542436E-23",
172 "106531597407755826831748572905472", "0.0" },
174 { "-5.720767E9", "9.438407E-21",
175 "-606115738076318963177881600000", "0.0" },
177 { "-3.4958034E9", "9.250327E-21",
178 "-377911344579488968728001904640", "0.0" },
180 { "-8.3702047E9", "6.0186186E-21",
181 "-1390718493086361392338557730816", "0.0" },
183 { "-7.517619E9", "-9.417701E-21",
184 "798243593937800371539149848576", "0.0" },
186 { "-2.1220838E9", "3.931208E-21",
187 "-539804494597454582830132625408", "0.0" },
189 { "-3.9606828E-11", "0.34267086",
190 "-1", "0.34267086" },
192 { "2.495503E-11", "-0.4518087",
193 "-1", "-0.4518087" },
195 { "-7.98698E-11", "-0.5665642",
196 "0", "-7.98698E-11" },
198 { "2.1465689E-11", "0.17276591",
199 "0", "2.146569E-11" },
201 { "4.9463066E-11", "-0.5659616",
202 "-1", "-0.5659616" },
204 { "-1.8961567E-11", "-0.7758364",
205 "0", "-1.8961567E-11" },
207 { "7.8871874E-11", "-5.768549E9",
208 "-1", "-5.768549E9" },
210 { "-9.079439E-11", "-3.807195E9",
211 "0", "-9.079439E-11" },
213 { "7.879919E-12", "-1.9198149E9",
214 "-1", "-1.9198149E9" },
216 { "4.389072E-11", "-8.657572E9",
217 "-1", "-8.657572E9" },
219 { "7.430157E-11", "-3.8599355E9",
220 "-1", "-3.8599355E9" },
222 { "-5.8839114E-11", "-5.3409536E9",
223 "0", "-5.8839114E-11" },
225 { "-3.3353615E-11", "8.9096924E-11",
226 "-1", "5.574331E-11" },
228 { "6.335122E-11", "3.606541E-11",
229 "1", "2.7285809E-11" },
231 { "-5.6885465E-11", "7.070333E-12",
232 "-9", "6.7475353E-12" },
234 { "-7.581576E-11", "-3.4334775E-11",
235 "2", "-7.1462155E-12" },
237 { "3.6686505E-11", "-1.9221425E-11",
238 "-2", "-1.7563462E-12" },
240 { "3.066395E-11", "-2.3198866E-11",
241 "-2", "-1.573378E-11" },
243 { "9.1089344E-11", "7.429058E19",
244 "0", "9.1089344E-11" },
246 { "-7.2265194E-11", "-6.5831596E19",
247 "0", "-7.2265194E-11" },
249 { "-4.9087675E-11", "1.9182038E19",
250 "-1", "1.9182038E19" },
252 { "-7.907188E-11", "4.405831E19",
253 "-1", "4.405831E19" },
255 { "6.118759E-11", "3.4342181E19",
256 "0", "6.118759E-11" },
258 { "5.4731882E-11", "-5.861447E19",
259 "-1", "-5.861447E19" },
261 { "6.121101E-11", "-1.8234462E-21",
262 "-33568860160", "0.0" },
264 { "9.788758E-11", "-2.65478E-21",
265 "-36872200192", "0.0" },
267 { "7.827001E-11", "-8.5754775E-21",
268 "-9127189504", "0.0" },
270 { "-3.738018E-11", "-7.810784E-21",
271 "4785714176", "0.0" },
273 { "7.31308E-11", "-2.0431058E-21",
274 "-35793936384", "0.0" },
276 { "9.4578095E-11", "-3.0466443E-21",
277 "-31043366912", "0.0" },
279 { "-4.8186137E19", "-0.95250696",
280 "50588749896299315200", "0.0" },
282 { "9.548003E18", "-0.9061317",
283 "-10537102614582001664", "0.0" },
285 { "5.5254813E19", "0.51959753",
286 "106341562860634636288", "0.0" },
288 { "-4.2787504E19", "0.14769173",
289 "-289708190148186865664", "0.0" },
291 { "-4.27109E17", "-0.03677529",
292 "11614021477430460416", "0.0" },
294 { "-3.9238043E19", "0.26663417",
295 "-147160597790283792384", "0.0" },
297 { "-2.0174873E19", "-6.7035556E7",
298 "300957794304", "0.0" },
300 { "1.6296811E19", "-7.2014956E9",
301 "-2262976000", "0.0" },
303 { "7.794499E19", "-7.412829E9",
304 "-10514876416", "0.0" },
306 { "-1.2546485E19", "6.1565005E9",
307 "-2037924864", "0.0" },
309 { "5.4549757E18", "-4.778849E9",
310 "-1141483264", "0.0" },
312 { "-8.9214324E18", "3.0002557E9",
313 "-2973557248", "0.0" },
315 { "8.790958E19", "-8.224902E-11",
316 "-1068822197453670185020302557184", "0.0" },
318 { "9.029222E18", "1.3127345E-11",
319 "687817816164697187548814901248", "0.0" },
321 { "6.7356843E19", "-9.1816894E-11",
322 "-733599685837775742566290948096", "0.0" },
324 { "4.0346153E19", "2.0593792E-11",
325 "1959141510822234462049892564992", "0.0" },
327 { "1.3402778E19", "-4.8733902E-11",
328 "-275019611403690085233016700928", "0.0" },
330 { "-1.3005549E19", "5.6579824E-11",
331 "-229861963021783171398467846144", "0.0" },
333 { "8.550302E19", "6.4624324E19",
334 "1", "2.0878699E19" },
336 { "4.7897585E19", "-1.5724218E19",
337 "-4", "-1.4999288E19" },
339 { "-8.6050445E19", "1.4007867E19",
340 "-7", "1.2004627E19" },
342 { "-6.0799387E19", "-5.667626E19",
343 "1", "-4.1231221E18" },
345 { "-7.847746E19", "-3.972193E19",
346 "1", "-3.875553E19" },
348 { "-6.425414E19", "3.0601436E19",
349 "-3", "2.7550168E19" },
351 { "2.8220074E-21", "-0.9401483",
352 "-1", "-0.9401483" },
354 { "9.867747E-21", "0.86288685",
355 "0", "9.867747E-21" },
357 { "6.2856053E-21", "-0.5235996",
358 "-1", "-0.5235996" },
360 { "8.709991E-22", "0.42678982",
361 "0", "8.709991E-22" },
363 { "1.0493481E-21", "0.9355661",
364 "0", "1.0493481E-21" },
366 { "-6.137466E-21", "0.4328317",
369 { "6.5872774E-21", "-8.80464E9",
370 "-1", "-8.80464E9" },
372 { "-1.0479629E-22", "-9.353607E9",
373 "0", "-1.0479629E-22" },
375 { "-2.636932E-21", "9.794678E9",
376 "-1", "9.794678E9" },
378 { "-7.912024E-21", "-2.9102356E9",
379 "0", "-7.912024E-21" },
381 { "1.0071349E-21", "8.762459E9",
382 "0", "1.0071349E-21" },
384 { "-6.795979E-21", "-9.445545E9",
385 "0", "-6.795979E-21" },
387 { "6.0598967E-22", "-3.961637E-11",
388 "-1", "-3.961637E-11" },
390 { "3.481348E-21", "-7.485006E-11",
391 "-1", "-7.485006E-11" },
393 { "-5.610974E-21", "-4.073898E-11",
394 "0", "-5.610974E-21" },
396 { "-6.2362584E-21", "8.403202E-11",
397 "-1", "8.403202E-11" },
399 { "4.2029927E-21", "7.823452E-11",
400 "0", "4.2029927E-21" },
402 { "-7.765272E-21", "-8.502908E-11",
403 "0", "-7.765272E-21" },
405 { "2.7845436E-21", "3.490416E-21",
406 "0", "2.7845436E-21" },
408 { "-1.4630091E-21", "9.193901E-21",
409 "-1", "7.730892E-21" },
411 { "-8.1823826E-21", "8.941324E-21",
412 "-1", "7.5894165E-22" },
414 { "-1.8218875E-21", "3.8057304E-21",
415 "-1", "1.9838427E-21" },
417 { "5.8037763E-21", "-5.1721612E-21",
418 "-2", "-4.5405462E-21" },
420 { "-8.179982E-21", "6.2204556E-21",
421 "-2", "4.2609293E-21" },