2 #include <cln/lfloat.h>
3 #include <cln/lfloat_io.h>
5 static plus_test lfloat_plus_tests[] = {
7 { "0.31465012912061093874L0", "-0.07221963987249409544L0",
8 "0.2424304892481168433L0" },
10 { "0.7168586654865411176L0", "-0.19348808923554474066L0",
11 "0.52337057625099637695L0" },
13 { "-0.64115701400120904706L0", "0.70535558267169594756L0",
14 "0.0641985686704869005L0" },
16 { "-0.8607621650923123159L0", "0.8368256394262067108L0",
17 "-0.023936525666105605082L0" },
19 { "0.44168990042410450855L0", "-0.6041911435521196045L0",
20 "-0.16250124312801509594L0" },
22 { "0.0234267775301613878L0", "-0.43594485933986284478L0",
23 "-0.41251808180970145698L0" },
25 { "-0.99559578594307881024L0", "-9.836107054378142702L9",
26 "-9.836107055373738488L9" },
28 { "-0.72423071295455899397L0", "9.238843039595790172L9",
29 "9.238843038871559459L9" },
31 { "-0.20719390117857393156L0", "-9.029224604657100362L9",
32 "-9.029224604864294263L9" },
34 { "0.20816015380514039224L0", "-7.4782571284307568003L9",
35 "-7.4782571282225966468L9" },
37 { "-0.16613875159201114463L0", "-1.203554507952656804L9",
38 "-1.2035545081187955556L9" },
40 { "-0.9837368636729942673L0", "7.5892747601936916704L9",
41 "7.5892747592099548066L9" },
43 { "-0.92391870362276300936L0", "-5.309205414965326826L-11",
44 "-0.9239187036758550635L0" },
46 { "-0.2308075581152660786L0", "-2.5400598439608570973L-11",
47 "-0.23080755814066667704L0" },
49 { "0.5668336039528930528L0", "1.9300606943253841182L-12",
50 "0.56683360395482311353L0" },
52 { "-0.19685144163870526662L0", "-8.548847281762266571L-11",
53 "-0.19685144172419373944L0" },
55 { "0.053837363417219887007L0", "-8.4734948552444605444L-11",
56 "0.053837363332484938454L0" },
58 { "0.24539562474220232599L0", "-1.3753029433519360674L-11",
59 "0.24539562472844929655L0" },
61 { "-0.83198492765474177585L0", "-1.0728971972413839207L19",
62 "-1.0728971972413839208L19" },
64 { "0.58494670591273850794L0", "-2.6078285749436068966L19",
65 "-2.6078285749436068966L19" },
67 { "-0.6489422625947265175L0", "5.675479528094312524L19",
68 "5.675479528094312524L19" },
70 { "0.82416783003308421654L0", "3.4337105673864461624L19",
71 "3.4337105673864461624L19" },
73 { "0.5977825969561704576L0", "9.447212597358366985L19",
74 "9.447212597358366985L19" },
76 { "0.81709616259702447027L0", "1.8840697606071622024L19",
77 "1.8840697606071622024L19" },
79 { "0.99140689029640294337L0", "-7.9441986163714183364L-21",
80 "0.99140689029640294337L0" },
82 { "0.49487318874207713882L0", "-2.377409962381832069L-21",
83 "0.49487318874207713882L0" },
85 { "0.050320977002567080524L0", "-1.3329877923173878127L-21",
86 "0.050320977002567080524L0" },
88 { "-0.25724170819862546218L0", "7.609825486664252559L-22",
89 "-0.25724170819862546218L0" },
91 { "0.3667308347763138993L0", "4.077152141636570548L-21",
92 "0.3667308347763138993L0" },
94 { "0.5130660492586603372L0", "-5.091230019243679202L-21",
95 "0.5130660492586603372L0" },
97 { "8.916053557053472733L8", "0.59999700846599703845L0",
98 "8.916053563053442818L8" },
100 { "1.250980635471676891L9", "-0.46325398810664378442L0",
101 "1.2509806350084229029L9" },
103 { "-5.548594356609427516L9", "-0.21577258386321002115L0",
104 "-5.5485943568252001L9" },
106 { "1.06508055885340104636L9", "0.8422978396429581549L0",
107 "1.065080559695698886L9" },
109 { "6.225756677310580186L9", "0.49531151031004978726L0",
110 "6.2257566778058916964L9" },
112 { "-2.273191688409860673L9", "-0.80983784631745405196L0",
113 "-2.2731916892196985192L9" },
115 { "5.688674258485728496L8", "8.2409948814224157357L9",
116 "8.809862307270988585L9" },
118 { "-2.7544302700606018156L9", "9.230174236450698873L9",
119 "6.4757439663900970574L9" },
121 { "-4.588747139238971857L9", "6.342892129519977196L9",
122 "1.7541449902810053392L9" },
124 { "1.5275587581475159762L9", "4.3720035959575018324L9",
125 "5.8995623541050178087L9" },
127 { "2.8881760807020099163L9", "7.5622154923755766074L9",
128 "1.0450391573077586524L10" },
130 { "6.1044519092512786468L9", "1.3858854402983849103L9",
131 "7.490337349549663557L9" },
133 { "4.8767035174458515886L9", "6.3051681974292703475L-11",
134 "4.8767035174458515886L9" },
136 { "-9.4188975960705796466L8", "-8.975187577611984141L-12",
137 "-9.4188975960705796466L8" },
139 { "-9.689819354179956828L9", "-9.7453604450079548966L-11",
140 "-9.689819354179956828L9" },
142 { "4.987209054002559248L9", "9.284991248759031191L-11",
143 "4.987209054002559248L9" },
145 { "-3.5572071813296941216L9", "-6.261737879308894803L-11",
146 "-3.5572071813296941216L9" },
148 { "-7.5872628366112743053L9", "2.2152240842834943001L-11",
149 "-7.5872628366112743053L9" },
151 { "7.0206128338340270845L9", "5.9246012493594508704L19",
152 "5.9246012500615121536L19" },
154 { "5.3017367315254228474L9", "-1.0933628665004153848L19",
155 "-1.0933628659702417116L19" },
157 { "-6.339538144593375358L9", "-8.0543624921112893224L19",
158 "-8.054362492745243137L19" },
160 { "-1.6010717980362600647L9", "9.973849926670833376L19",
161 "9.973849926510726196L19" },
163 { "3.2030522063397198562L9", "-2.4396867565423101768L19",
164 "-2.4396867562220049562L19" },
166 { "8.8622195973163761245L9", "-6.4961266512803550736L19",
167 "-6.496126650394133114L19" },
169 { "5.45529926142043848L9", "6.939479435912862762L-21",
170 "5.45529926142043848L9" },
172 { "-4.484627189114150671L9", "-1.6571134694524616111L-21",
173 "-4.484627189114150671L9" },
175 { "8.813820141949620774L9", "-2.8267147580155665537L-21",
176 "8.813820141949620774L9" },
178 { "-9.972890003927356798L9", "-3.0273462676816521264L-21",
179 "-9.972890003927356798L9" },
181 { "6.792889851253184185L9", "-5.937539083879130763L-21",
182 "6.792889851253184185L9" },
184 { "-3.2663407400779399923L9", "-4.0747082067253115984L-21",
185 "-3.2663407400779399923L9" },
187 { "-3.4242541190221825202L-11", "-0.71988400153646663195L0",
188 "-0.71988400157070917316L0" },
190 { "-7.8906347145510431055L-11", "-0.22021321631029436988L0",
191 "-0.22021321638920071702L0" },
193 { "-7.486719858997914782L-11", "0.38102237422222776873L0",
194 "0.38102237414736057013L0" },
196 { "-2.6956794925506179954L-12", "-0.49627581161649902356L0",
197 "-0.49627581161919470304L0" },
199 { "-8.312064814531952837L-11", "0.5797009072836515581L0",
200 "0.57970090720053090995L0" },
202 { "-4.0305959593285763394L-11", "0.16233584979062195143L0",
203 "0.16233584975031599183L0" },
205 { "3.731977491280278192L-11", "3.0305998235716452734L9",
206 "3.0305998235716452734L9" },
208 { "2.7847304030282320388L-11", "-6.146190065628934066L9",
209 "-6.146190065628934066L9" },
211 { "-1.1797664511795163538L-11", "1.4888590774768513251L9",
212 "1.4888590774768513251L9" },
214 { "-3.736849276790130025L-11", "1.9988395869145483342L9",
215 "1.9988395869145483342L9" },
217 { "5.7818526942690563386L-12", "3.5155514714363584847L9",
218 "3.5155514714363584847L9" },
220 { "1.8183862272066184134L-11", "-4.635399960322760982L9",
221 "-4.635399960322760982L9" },
223 { "3.5539523819420841283L-11", "4.3044646394847154864L-11",
224 "7.858417021426799615L-11" },
226 { "8.719537619908441472L-11", "-8.580989797275158101L-11",
227 "1.3854782263328337111L-12" },
229 { "2.49701168436805957L-12", "-2.6066406246366064513L-11",
230 "-2.3569394561998004944L-11" },
232 { "4.2774640500882048993L-11", "3.7620100241760410496L-11",
233 "8.039474074264245949L-11" },
235 { "3.9907211434460210612L-11", "9.72066373418363098L-11",
236 "1.3711384877629652041L-10" },
238 { "-7.851637932849992129L-11", "4.9296626910685147652L-11",
239 "-2.9219752417814773637L-11" },
241 { "3.14874349918113769L-11", "-1.8148353890339025639L19",
242 "-1.8148353890339025639L19" },
244 { "-8.444922682942673745L-11", "-5.0034364072191331772L19",
245 "-5.0034364072191331772L19" },
247 { "4.762299619586316462L-12", "-1.3412404578328588061L19",
248 "-1.3412404578328588061L19" },
250 { "-9.22833351501850052L-12", "3.1000370791158631634L19",
251 "3.1000370791158631634L19" },
253 { "6.1164399913981911425L-11", "6.1863455383782109436L19",
254 "6.1863455383782109436L19" },
256 { "-8.413645565754525347L-11", "-2.5034082588556447364L19",
257 "-2.5034082588556447364L19" },
259 { "3.4875247204061292656L-11", "-7.8682893445087250245L-21",
260 "3.487524719619300331L-11" },
262 { "-2.1647610944488691768L-11", "-8.371089558230910183L-21",
263 "-2.1647610952859781326L-11" },
265 { "5.7598234760228848032L-11", "2.8011007358408259187L-21",
266 "5.7598234763029948767L-11" },
268 { "-9.268425959344303144L-11", "-6.4655012698265179856L-21",
269 "-9.2684259599908532713L-11" },
271 { "7.067467072298381137L-11", "-3.8206328350148818058L-21",
272 "7.0674670719163178536L-11" },
274 { "7.8912028748606542386L-11", "8.456364925917236866L-21",
275 "7.891202875706290731L-11" },
277 { "-6.976183652817340798L18", "0.08822040416435015717L0",
278 "-6.976183652817340798L18" },
280 { "-1.2414457404200743984L19", "-0.85791705029429396234L0",
281 "-1.2414457404200743985L19" },
283 { "-8.9687515173878579424L19", "-0.3328210335620137057L0",
284 "-8.9687515173878579424L19" },
286 { "-5.438581645592863998L19", "-0.67774278184358142436L0",
287 "-5.438581645592863998L19" },
289 { "-5.4350840695201649084L19", "-0.72739900682842943577L0",
290 "-5.4350840695201649084L19" },
292 { "7.814697448090367615L19", "0.24326892882624165414L0",
293 "7.814697448090367615L19" },
295 { "-2.4356768540932142124L19", "6.5169042447583127604L9",
296 "-2.435676853441523788L19" },
298 { "-8.7464253032141704904L19", "6.8315507162032823036L9",
299 "-8.7464253025310154184L19" },
301 { "-2.4810334273518910993L18", "-7.638114077520272164L9",
302 "-2.4810334349900051768L18" },
304 { "-9.80334620432051716L19", "4.474822777555302305L9",
305 "-9.8033462038730348824L19" },
307 { "-1.5185085475715921137L19", "8.496315073274781452L9",
308 "-1.5185085467219606064L19" },
310 { "-9.3842548893937585184L19", "-9.948865349103608366L9",
311 "-9.3842548903886450536L19" },
313 { "5.9391253980818643888L19", "5.6213951287112563564L-11",
314 "5.9391253980818643888L19" },
316 { "-4.8270749631022207188L19", "6.506986668488438766L-11",
317 "-4.8270749631022207188L19" },
319 { "8.953940231252599753L19", "-1.7735448342981541823L-11",
320 "8.953940231252599753L19" },
322 { "-6.1065165153181616235L18", "-1.8103764902203059955L-11",
323 "-6.1065165153181616235L18" },
325 { "-9.6224955477275161216L19", "9.4659333494557267205L-11",
326 "-9.6224955477275161216L19" },
328 { "-9.2620034246522033504L19", "-8.920063409062509698L-11",
329 "-9.2620034246522033504L19" },
331 { "5.9633456897700879935L18", "4.0390945943970882336L19",
332 "4.6354291633740970328L19" },
334 { "-6.1420542659063065884L19", "-3.9869088703267959336L19",
335 "-1.01289631362331025216L20" },
337 { "7.804124970286546613L19", "8.061318173712112305L19",
338 "1.5865443143998658918L20" },
340 { "-7.763817772329800516L19", "-4.9349702057713961232L19",
341 "-1.2698787978101196639L20" },
343 { "-3.1480955091040648274L19", "-4.706529024129812914L19",
344 "-7.8546245332338777416L19" },
346 { "-4.7131343507844737428L19", "5.4602299451983202032L19",
347 "7.470955944138464604L18" },
349 { "5.9403761194093478956L19", "-6.280541343011718101L-21",
350 "5.9403761194093478956L19" },
352 { "-3.763295388652278206L19", "-9.963494853851408371L-21",
353 "-3.763295388652278206L19" },
355 { "2.5136958358030666948L19", "5.335607709622335287L-21",
356 "2.5136958358030666948L19" },
358 { "6.2273952762016960176L19", "-5.6012630121574213906L-21",
359 "6.2273952762016960176L19" },
361 { "-9.3934610912833028936L19", "-2.59552531586503232L-21",
362 "-9.3934610912833028936L19" },
364 { "2.9584554660239488776L19", "6.875837450751388893L-21",
365 "2.9584554660239488776L19" },
367 { "-8.4905558825256936576L-21", "0.112912972443893420624L0",
368 "0.11291297244389342062L0" },
370 { "-5.3259362300699140443L-21", "0.44064771529278198132L0",
371 "0.44064771529278198132L0" },
373 { "-9.245572241572266517L-21", "0.043497459079983070442L0",
374 "0.043497459079983070432L0" },
376 { "7.6311333407948593004L-22", "0.74437178299084331024L0",
377 "0.74437178299084331024L0" },
379 { "-7.71114100404407176L-21", "-0.30667849853816871164L0",
380 "-0.30667849853816871164L0" },
382 { "3.544120177696956032L-21", "0.79322122717232419205L0",
383 "0.79322122717232419205L0" },
385 { "7.7913861181291523115L-21", "8.526554352243632931L9",
386 "8.526554352243632931L9" },
388 { "-3.9196632415032070805L-21", "-2.5228304289307799614L9",
389 "-2.5228304289307799614L9" },
391 { "7.643174046933518012L-22", "2.9248526891356128762L9",
392 "2.9248526891356128762L9" },
394 { "1.8801815336593227227L-21", "6.8178694125314363L9",
395 "6.8178694125314363L9" },
397 { "-2.6985037225367287349L-21", "-4.5571976978858014136L9",
398 "-4.5571976978858014136L9" },
400 { "6.0444611510506986126L-21", "-8.64585025875790907L9",
401 "-8.64585025875790907L9" },
403 { "-1.250177749198396931L-21", "6.428634063301101147L-11",
404 "6.428634063176083372L-11" },
406 { "-1.5666058964343815161L-21", "3.552568414787808555L-11",
407 "3.5525684146311479653L-11" },
409 { "-5.8078119773790503857L-21", "8.896395897015492877L-12",
410 "8.8963958912076809L-12" },
412 { "6.7472260162031965506L-21", "-6.617115409846031908L-11",
413 "-6.617115409171309306L-11" },
415 { "-4.16121984125470857L-21", "-3.095053467302410671L-11",
416 "-3.095053467718532655L-11" },
418 { "-2.114411383443366621L-21", "9.716046816037651671L-11",
419 "9.716046815826210533L-11" },
421 { "-2.3406730990296292957L-21", "7.900725768498098123L18",
422 "7.900725768498098123L18" },
424 { "-4.1514248667302411754L-21", "-8.4325334951006246184L19",
425 "-8.4325334951006246184L19" },
427 { "8.433933541545648577L-21", "-4.9459088765496691632L19",
428 "-4.9459088765496691632L19" },
430 { "2.2922577085250648752L-21", "7.813245819908182463L19",
431 "7.813245819908182463L19" },
433 { "8.887270525300553388L-21", "8.651116139112459977L19",
434 "8.651116139112459977L19" },
436 { "1.1406539199130032192L-21", "2.3931812472136783544L19",
437 "2.3931812472136783544L19" },
439 { "-3.778523001798117503L-21", "2.0779948578933832532L-22",
440 "-3.5707235160087791776L-21" },
442 { "-1.6066062689688361383L-21", "-3.5232009896946632975L-21",
443 "-5.1298072586634994358L-21" },
445 { "3.9703618511174300454L-21", "-8.036088455194107478L-21",
446 "-4.0657266040766774324L-21" },
448 { "6.46657477279861825L-21", "2.6384883907642781157L-21",
449 "9.105063163562896366L-21" },
451 { "4.9706631077050274314L-21", "2.3628052244020145395L-21",
452 "7.333468332107041971L-21" },
454 { "7.065951142271372955L-21", "3.1965272324939519L-21",
455 "1.02624783747653248544L-20" },