cases:
- note: bigint/4-bit
  modules:
  - |
    package bigint
    
    tadd := -2 + -15
    tsub := -1 - 11
    tmul := 2 * 6
    tdiv := 12 / 1
    tmod := 9 % 3
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -17
    - b: -12
    - c: 12
    - d: 12
    - e: 0
- note: bigint/12-bit
  modules:
  - |
    package bigint
    
    tadd := -3796 + 4047
    tsub := 2527 - -1226
    tmul := -3125 * 3702
    tdiv := -524 / -56
    tmod := 687 % 50
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: 251
    - b: 3753
    - c: -11568750
    - d: 9
    - e: 37
- note: bigint/20-bit
  modules:
  - |
    package bigint
    
    tadd := -253534 + -214311
    tsub := -316587 - -767603
    tmul := -933216 * -906316
    tdiv := 978567 / -734
    tmod := 424268 % -358
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -467845
    - b: 451016
    - c: 845788592256
    - d: -1333
    - e: 38
- note: bigint/28-bit
  modules:
  - |
    package bigint
    
    tadd := 187224985 + 235111630
    tsub := -56892477 - 158391821
    tmul := -214662484 * 182616187
    tdiv := -262848308 / -3809
    tmod := -165552611 % -15653
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: 422336615
    - b: -215284298
    - c: -39200844320028508
    - d: 69007
    - e: -6483
- note: bigint/36-bit
  modules:
  - |
    package bigint
    
    tadd := -688230433 + 31054002514
    tsub := -35274741658 - -38047510147
    tmul := -55178253689 * -54641715256
    tdiv := -61977392955 / 96038
    tmod := -51123083749 % 35648
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: 30365772081
    - b: 2772768489
    - c: 3015034426397669579384
    - d: -645342
    - e: -1765
- note: bigint/44-bit
  modules:
  - |
    package bigint
    
    tadd := -6899333747660 + -8842872597161
    tsub := 12400742779527 - 5055018679138
    tmul := 15079794816258 * 1828965571873
    tdiv := -8685181016788 / -3616862
    tmod := -15141896886520 % 79911
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -15742206344821
    - b: 7345724100389
    - c: 27580425549844813927911234
    - d: 2401302
    - e: -48088
- note: bigint/52-bit
  modules:
  - |
    package bigint
    
    tadd := 3970974674333321 + 1183868731489189
    tsub := -1306773870446791 - 2135967516916224
    tmul := -2830536231688581 * 3989762850901955
    tdiv := -1486256970724744 / 55020312
    tmod := -2696136013616059 % -397012
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: 5154843405822510
    - b: -3442741387363015
    - c: -11293168305323109549868524075855
    - d: -27012877
    - e: -347207
- note: bigint/60-bit
  modules:
  - |
    package bigint
    
    tadd := 41773599968569527 + 256972885111227618
    tsub := -33133622577533463 - 535552228125881215
    tmul := 140316724549002105 * 573252767549507142
    tdiv := 619917833155820801 / 298505345
    tmod := -581763828044170325 % 787331740
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: 298746485079797145
    - b: -568685850703414678
    - c: 80436950681197326061797920670533910
    - d: 2076739473
    - e: -237085025
- note: bigint/68-bit
  modules:
  - |
    package bigint
    
    tadd := -219269288093390366375 + 237279609106797260417
    tsub := 129304305984146709939 - -103562668154733234310
    tmul := 281342872348703955611 * -289108473835076078232
    tdiv := 240199983880422800079 / -8443560164
    tmod := -195704950809131321607 % 14299972798
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: 18010321013406894042
    - b: 232866974138879944249
    - c: -81338608449110426615237886022619291359752
    - d: -28447713904
    - e: -2487164265
- note: bigint/76-bit
  modules:
  - |
    package bigint
    
    tadd := -73601964387600912712241 + -35547942890758820527781
    tsub := 56683798372943695697396 - 68785290015560666109313
    tmul := -55809396266881609920720 * 56608760578660197165529
    tdiv := -54240195272317234092971 / -72150396195
    tmod := 73304896208042208507548 % 265986125658
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -109149907278359733240022
    - b: -12101491642616970411917
    - c: -3159300751311473251898508034261635590406860880
    - d: 751765730096
    - e: 39717895946
- note: bigint/84-bit
  modules:
  - |
    package bigint
    
    tadd := -3770282833395493479966825 + -13036198897811218100996326
    tsub := 14247656513712034154300221 - 16442421965352878782520018
    tmul := 11847584104585433619674345 * -7001535483633909883335716
    tdiv := 1725644784760724795304475 / 2767901553815
    tmod := 13521050904731553675061962 % 3790961730483
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -16806481731206711580963151
    - b: -2194765451640844628219797
    - c: -82951280503591997150638888956890668970114227406020
    - d: 623448757555
    - e: 2872267014180
- note: bigint/92-bit
  modules:
  - |
    package bigint
    
    tadd := -4701409739626896234620265275 + 2015683128151140118934010463
    tsub := -71257652988823746389847654 - 585249183404298230154338937
    tmul := 2570310086863381613906923883 * -3802219791764982116367441191
    tdiv := -4377092757029577279610569476 / 62581799234476
    tmod := 2359233266745016070148116611 % -10865821293764
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -2685726611475756115686254812
    - b: -656506836393121976544186591
    - c: -9772883883245119935551758089351576506569738702715864653
    - d: -69941944951596
    - e: 1643447055155
- note: bigint/100-bit
  modules:
  - |
    package bigint
    
    tadd := 898704336891950951315814143788 + -737766299263619008655959172
    tsub := -492053430262444193292653635058 - -444021972597425982045488337451
    tmul := -510553742872078257157305261751 * -481029277662489003973687690131
    tdiv := -1011911760251675689499000501369 / 251825554957272
    tmod := -1208793221578807073859110453792 % -862858776257787
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: 897966570592687332307158184616
    - b: -48031457665018211247165297607
    - c: 245591298141635948118160001035350445078038802879783534479381
    - d: -4018304498220483
    - e: -745753639977752
- note: bigint/108-bit
  modules:
  - |
    package bigint
    
    tadd := -273708470553750115105392852914301 + -315059721892516404547579125833626
    tsub := 107097122437355894877254557832800 - -33262208624609894166488471775815
    tmul := 319114479817246100069710570035931 * 88924327947816860173288896287771
    tdiv := 136479415975755448989178603729304 / -9469107218625031
    tmod := 90441310575963144352133991714412 % 6235232317982975
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -588768192446266519652971978747927
    - b: 140359331061965789043743029608615
    - c: 28377040656165776738288233937527135006577602780877843771985899801
    - d: -14413123943438993
    - e: 5471647214413612
- note: bigint/116-bit
  modules:
  - |
    package bigint
    
    tadd := -38186376278202810305397877333302893 + -52945032522978037314098746270191448
    tsub := -32856127070821154989820362324796923 - 13639397101784269566229282869963230
    tmul := 28931117236699982747637511345571017 * 23740357730153795359453549739435836
    tdiv := -71127083141770407364026065186467116 / 258673827617455984
    tmod := 90204492730586503058144122023391 % 138477159260687720
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -91131408801180847619496623603494341
    - b: -46495524172605424556049645194760153
    - c: 686835072732276146688553894217049212967639947437702718961122852765212
    - d: -274968224643731086
    - e: 60739392743383511
- note: bigint/124-bit
  modules:
  - |
    package bigint
    
    tadd := -8513667349489782260158066370721316119 + 5331575836568955489004929789316596490
    tsub := -11905292564744124321236600981014202834 - 4206371910115533085790585221716346408
    tmul := -8945336596770306171177231927387919886 * -20023099529154642690632639354892554044
    tdiv := -20773506069714223846475508155330257089 / 2038209135087669963
    tmod := 4177656220305119505561105701423531093 % -4300931980307879033
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -3182091512920826771153136581404719629
    - b: -16111664474859657407027186202730549242
    - c: 179113364998921311337223803413116789818565797836928796481598795894997318984
    - d: -10192038546044828812
    - e: 419591230663461080
- note: bigint/132-bit
  modules:
  - |
    package bigint
    
    tadd := 3335464429887250311719481164055947807879 + -277508508820093292751851929832253975796
    tsub := 4682024083545004092977151471172100630388 - 344915055434180935970446292794958815196
    tmul := -4369753035041193071825102293136728535996 * 5141003474970440469443567420228556622184
    tdiv := 1363345672746235266680263090023141184675 / -71697331398541185359
    tmod := 285132741646440698217476362459634075167 % -4932669198205783533
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: 3057955921067157018967629234223693832083
    - b: 4337109028110823157006705178377141815192
    - c: -22464915537909402502035411329151918313933584964898112286215726130575409216135264
    - d: -19015291729169923507
    - e: 681260851030700932
- note: bigint/140-bit
  modules:
  - |
    package bigint
    
    tadd := 367944448272419608149400495092145560107699 + 1341772272115351099882382809224753162911992
    tsub := -351473167968233922999121532572688731886193 - -1155354873305943911676906572591930849864351
    tmul := 1079131679099249441816113576011814972818111 * 322308787064379785376676359356271670701955
    tdiv := 1050342523092273506434911772263185262105238 / 937832119831322468043
    tmod := -809454115361161329753823934538722257643004 % 434157085476005649016
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: 1709716720387770708031783304316898723019691
    - b: 803881705337709988677785040019242117978158
    - c: 347813622573226606095760708613217508712836714978276293794376286084135591459907107005
    - d: 1119968596598277147063
    - e: -316188205373748227556
- note: bigint/148-bit
  modules:
  - |
    package bigint
    
    tadd := 45666771552793209140688450281250923580766932 + 209985798274726718593008748819528254344943275
    tsub := -20102538784115270330457727065473057062782517 - -238823404166208290081762290846120783254329792
    tmul := 195974298702520522180370017433741391195328887 * 240247447395664266307473639542040309397363899
    tdiv := -131654502911203855952038662132816189233446064 / 10180855922602978049040
    tmod := -307689542671715403171257882440651459362152686 % -7691941305970685370950
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: 255652569827519927733697199100779177925710207
    - b: 218720865382093019751304563780647726191547275
    - c: 47082325018435995030195235840997616378858752592779376444430656787485195629166240125650413
    - d: -12931575096639148767756
    - e: -7029127252375412155936
- note: bigint/156-bit
  modules:
  - |
    package bigint
    
    tadd := -34886984404821451075481052816932726478048035908 + -11156471949567693407942303052710475761260430886
    tsub := -3552750856597148061640116642396446917631882906 - -36765508746482568582703880687567730225523522974
    tmul := -78952740904414312263600345867431202702068067075 * 49654691132527940552692336265928015572877676877
    tdiv := 87942798193539690732028835457463101987201421151 / -203363565849823594274394
    tmod := -49701011270147447237766652099591630974099347478 % -216730604477250178151122
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -46043456354389144483423355869643202239308466794
    - b: 33212757889885420521063764045171283307891640068
    - c: -3920373963675197364478926257411358824580913835524371088647537794817729491724445554451812524775
    - d: -432441267569443417327924
    - e: -201928471729234095265044
- note: bigint/164-bit
  modules:
  - |
    package bigint
    
    tadd := 10951700754267580259186131164960823195887794740197 + -2389811640792656450116825577538092238598274098102
    tsub := -17315333459956547021048523887639557875378325712756 - 18424391549106510668202972931164525245183622265370
    tmul := 4758518536847612118873675643715676486376611270465 * 3177678027094974351149715017467170701767985062066
    tdiv := 19142006419737844184608038227726569928662426379219 / -2694979620631635155534887
    tmod := 22464516888404727649381049613001069087020276044407 % 55875217053020082773751
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: 8561889113474923809069305587422730957289520642095
    - b: -35739725009063057689251496818804083120561947978126
    - c: 15121039796064784088034784314512143820467568891161577299889445856057373819379753255963818137680690
    - d: -7102839024530894728105291
    - e: 54240391374912448073470
- note: bigint/172-bit
  modules:
  - |
    package bigint
    
    tadd := -1239219560216866782865439309210970113128789475298500 + -5855795074705731844699601698317136728515252433000353
    tsub := -2406790042426351932761723889784667846652870707646580 - 1790739222042762666646065351682076738845707428975029
    tmul := -927693506427961750705020020171152006168766682800971 * 2459322492067554514566189405154678206997802127888199
    tdiv := -2353192149872123053678528709884738252559874408143868 / 13790802380975948429831720
    tmod := -2453290415397912198141531219789738735838217485321924 % 53527125498925581350136462
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -7095014634922598627565041007528106841644041908298853
    - b: -4197529264469114599407789241466744585498578136621609
    - c: -2281497506103302795717499659566979910356917783820862711271073622338291720331989807130661580362456641229
    - d: -170634897438476106525786599
    - e: -4172292425649886600976086
- note: bigint/180-bit
  modules:
  - |
    package bigint
    
    tadd := 736635144440945644544560837692528859403092890153246343 + -1089351037296043557369824200964108698667336851376432050
    tsub := -332967893780520670408961348388297954576235971623386302 - 563098020547264561847764552086803214626520351939480579
    tmul := -1206152417619110481327519838156318477966932742389800150 * 1390860682588510838560546166530222528625148851661613048
    tdiv := 691312138190050671356179590920583842607841302567725032 / -52016036555250568592828156
    tmod := 75467193283075781192752100180123451343707885169463821 % 420422038843118216113818646
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -352715892855097912825263363271579839264243961223185707
    - b: -896065914327785232256725900475101169202756323562866881
    - c: -1677589974875498591017395295594821206705186544883316317460379945119209171958782885513464972795642131352357200
    - d: -13290365509793319606994397627
    - e: 8961640720344367421823175
- note: bigint/188-bit
  modules:
  - |
    package bigint
    
    tadd := 193504497578813808549037438875417067023131467998759040586 + -218923041330037561842609440206655593925205805671854384329
    tsub := -16635971990941783246194211033679239774725419687494484150 - -313949401298087446062218486283338347918478724178667911247
    tmul := 239716909339069620092477141567943385434125097492144793517 * 246029761131653585901734152222425983381178995358997408863
    tdiv := 245419347427300933480173604954615865470829010190904397229 / -124927864139903244099390293
    tmod := 82747423113346084694894435626069062972274627145477543617 % -9710243757121659067981232507
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -25418543751223753293572001331238526902074337673095343743
    - b: 297313429307145662816024275249659108143753304491173427097
    - c: 58977493943909557309482369103933017233752474807623012851682069672829957181554180861414531375369815784019160741171
    - d: -1964488459936068585462267197762
    - e: 8784546289155155420584106603
- note: bigint/196-bit
  modules:
  - |
    package bigint
    
    tadd := -31381719152569640251454975425256833884668155153480743965803 + -63437501337060097663175701287724562552791399435068313805140
    tsub := -82733094267270494562659856778919495350938349312570954387491 - 62001691641426543405965536391049521964812307903502507616211
    tmul := -9298465480826942458880028438762453543662282120004994741743 * 73134627244378531503224000323562678790507862318859450431824
    tdiv := 83709434885522094274931076134016452909622664058285446801630 / 311455688569094290599844299084
    tmod := 44230064074606494276230074884143286847808723653596032177408 % -282115910069789933475118744402
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -94819220489629737914630676712981396437459554588549057770943
    - b: -144734785908697037968625393169969017315750657216073462003702
    - c: -680039806884999427718561577073207328168437729480403065828807865544282284798571210863123291938549018260101870708429232
    - d: 268768360822383037156264798997
    - e: 185188446178435701325780811310
- note: bigint/204-bit
  modules:
  - |
    package bigint
    
    tadd := -25023922354660850191134336091024545224852198679800759036109007 + 18521656944782015207983551731803854395853006423877385685030871
    tsub := 23922583600359551402243799022878224180682371332583032666727985 - 9880351522490909660919310237321557279694012934655953565186174
    tmul := -25239650180280523076309959574097669358510256084680219982171321 * -17904193967932101174980338517342468653959350709680962616803333
    tdiv := -22589500532947830281109871569582382602425791292991965455309779 / 3202258988702830210072036687303
    tmod := -7272589057938122041831129185584642706043815939795890619441739 % -2249314409642173343215455949245
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -6502265409878834983150784359220690828999192255923373351078136
    - b: 14042232077868641741324488785556666900988358397927079101541811
    - c: 451895592510494911219605247273314765764568602512519377040613019090914197415019435021131175261306516834605860267273369812893
    - d: -7054239089542965454831605375288
    - e: -316412525306452432957910720359
- note: bigint/212-bit
  modules:
  - |
    package bigint
    
    tadd := -6255307714551761308003193803762156830838612307455334186485368543 + -65892536229199026191214071560645340121388655642943615898680964
    tsub := -5417941120710314897458475191380478869709122112415787474462600521 - 2246341561769342241986291200293286344083404500825803607303020282
    tmul := -6471206257195861450551690504618948550199108013139856544527015750 * 1064515592363470645534479213953634771884395924986810291013745158
    tdiv := -1208108802693799238539208934476757562964196723538368610122516464 / 36295554420397663814976454754741
    tmod := 4862017583612423308287445617516555086412830093193554662930003054 % -64728821206768602037663742933142
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -6321200250780960334194407875322802170960000963098277802384049507
    - b: -7664282682479657139444766391673765213792526613241591081765620803
    - c: -6888699962185050227673752430565764221732726730128268986695997619711015034894953823457201351992391818686435273920941116752238500
    - d: -33285310611341885515102883743617
    - e: 16530088360251194106662164690072
- note: bigint/220-bit
  modules:
  - |
    package bigint
    
    tadd := 964154629418795086212682855209261479634055018818601541305689841094 + -1522235493112025895970867433497306324768764802420405677432021196710
    tsub := -885452044031715918633993855261791590532341908774002321374077723616 - 426904963277141193485469986377005038350533492510553767099588455917
    tmul := 653716386439714399321463842033272050641079807222348685089209177053 * 8873349840646133459906461434154062268882459421371186845875329614
    tdiv := -743587230014859016489839981630229795702802400763746231797982752198 / -591628665329605604681046428263819
    tmod := -118817514693566986665361920457341717361471129784301749254205079117 % 598431104675766207248069009607577
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -558080863693230809758184578288044845134709783601804136126331355616
    - b: -1312357007308857112119463841638796628882875401284556088473666179533
    - c: 5800654193442605965432649344259559209088812838991207795726204877582622085945872513358392701329850262041371850980894492300060147542
    - d: 1256847873658378119830591400700757
    - e: -229867447767974616613646180427498
- note: bigint/228-bit
  modules:
  - |
    package bigint
    
    tadd := -418629540260067180078377207117390254795622882372445090659100603254967 + -381278185777539733472236099826121380011258929969995192052562658483536
    tsub := 182764039772223805653572497373514469329571661629562007827938805692743 - -126109033051807091559963781193432355382537215672893184521438769871678
    tmul := -225237120080758693589000422975048933466910685791041308729390969891805 * 106561585073656347339027888214116483710522498511406668160731373141110
    tdiv := -194942726351043343558628362321625560338963757112985694682824617599535 / 4091912534588290725145026574574721
    tmod := -429796560109634576884497767143865222096526648187651938889075898176176 % 870727633289405965995219916655207
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: -799907726037606913550613306943511634806881812342440282711663261738503
    - b: 308873072824030897213536278566946824712108877302455192349377575564421
    - c: -24001624533231117941683919164558709818485246509332355642872799887269880184167361464994099140950994612721655434312050675055838859697603550
    - d: -47640980764672570696243252854787982
    - e: -13381591403188879081815318778689
- note: bigint/236-bit
  modules:
  - |
    package bigint
    
    tadd := -30339405259128826320371676477143698993343796573815996524417845829294351 + 104688599292429000714300283444823567875127199363520643982601892296975006
    tsub := -44490570981537590899012122340378398923421348521165077299165008960603759 - 68529429636135486290804721826997958888091459673624581943216947903335757
    tmul := 79754341600736016111746705453330145114105289328804738919288096361713471 * 65152214870832516721444134645799134637055145236930890078093265262979414
    tdiv := 50780901411816507599004854293945100734566501448333723073581001132421203 / -147863808509682044529515298376380288
    tmod := 3582179939697576964326055910334136801174876720124800582552296958781519 % -225198022027540975370394236776633299
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: 74349194033300174393928606967679868881783402789704647458184046467680655
    - b: -113020000617673077189816844167376357811512808194789659242381956863939516
    - c: 5196172000852929494850683590287706987412208859683214470294095175794819136418656199328647023359300788882421285414132090957392823251755639485994
    - d: -343430227610371613297784508459153108
    - e: 79669604418830368256246356946031314
- note: bigint/244-bit
  modules:
  - |
    package bigint
    
    tadd := 870502615624380020903725666476630459871285617011270931275765784537477418 + 23131426583620008820475912778769909777760814610230377450102030142980114605
    tsub := 12164013413032420273521699439890978773160342711245624497425222595101065992 - -2354946185641931689672340156140578415690990626406436303188769996767356266
    tmul := 26202679530882340431416644356116802601892235719976369919193297248310361452 * 11290259986740145243746516913682746819861182569700265712977102809312504381
    tdiv := 2237197096512565586720153528753877252918919222618370701184925266033780653 / 2729890298080180624582116052634386464
    tmod := -25979928370007114165133094262544676755458091924671119796932633635980797397 % 1655356948213795271247709819051399082
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: 24001929199244388841379638445246540237632100227241648381377795927517592023
    - b: 14518959598674351963194039596031557188851333337652060800613992591868422258
    - c: 295835064252895928075050096384890236896235108877299467807629151514872304578990229895632118487505718716695616949811804818682679878486751469443521212
    - d: 819519047371938034429005023757617974
    - e: -1278137145215247169690553234822751
- note: bigint/252-bit
  modules:
  - |
    package bigint
    
    tadd := 6466055601279126416241593829827225642974873054416615134420424370024610277048 + 812377893613439962506223192889271172721150454313527119829598533028254192660
    tsub := -5912796750055159349348285095168029999547805837934919256759875720338049163859 - 2100436268304949465469152169050553499388589256398614019764087298232731952205
    tmul := 5786314899744711870314487313338784069375375316866554430539107712879654609997 * 3029613346087335900692057905494693632329204701910191321772183583923555603055
    tdiv := 235328967186965560636092487672274298032698178001584420387677709515603751810 / 61042697860145807716747171190736990291
    tmod := -1030904679897134708160285970453473199806033360699641489201333428182197161893 % 45845269018283096547057010054707163542
  query: a = data.bigint.tadd; b = data.bigint.tsub; c = data.bigint.tmul; d = data.bigint.tdiv; e = data.bigint.tmod
  want_result:
    - a: 7278433494892566378747817022716496815696023508730142254250022903052864469708
    - b: -8013233018360108814817437264218583498936395094333533276523963018570781116064
    - c: 17530296844930584098686471133123526535894636896209113668872569260041333924699635889877017262804525726346271216292420744804783913117122283226890166740835
    - d: 3855153448920703543655522463019737887
    - e: -41806999527922083709215100619759029989