/**
 * float/1 test cases.
 *
 * Warranty & Liability
 * To the extent permitted by applicable law and unless explicitly
 * otherwise agreed upon, XLOG Technologies AG make_bdds no warranties
 * regarding the provided information. XLOG Technologies AG assumes
 * no liability that any problems might be solved with the information
 * provided by XLOG Technologies AG.
 *
 * Rights & License
 * All industrial property rights regarding the information - copyright
 * and patent rights in particular - are the sole property of XLOG
 * Technologies AG. If the company was not the originator of some
 * excerpts, XLOG Technologies AG has at least obtained the right to
 * reproduce, change and translate the information.
 *
 * Reproduction is restricted to the whole unaltered document. Reproduction
 * of the information is only allowed for non-commercial uses. Selling,
 * giving away or letting of the execution of the library is prohibited.
 * The library can be distributed as part of your applications and libraries
 * for execution provided this comment remains unchanged.
 *
 * Restrictions
 * Only to be distributed with programs that add significant and primary
 * functionality to the library. Not to be distributed with additional
 * software intended to replace any components of the library.
 *
 * Trademarks
 * Jekejeke is a registered trademark of XLOG Technologies AG.
 */

case(1, -572504891324561953821040518484, -5.7250489132456196E29).
case(2, 280023412577711504420391220335, 2.800234125777115E29).
case(3, 884996183305110611102854483978, 8.849961833051106E29).
case(4, 1251939306673717603656775488197, 1.2519393066737177E30).
case(5, -449875364855079040290809561534, -4.4987536485507906E29).
case(6, -365777952015451065009345916963, -3.6577795201545106E29).
case(7, -588530340068436401009958451824, -5.885303400684364E29).
case(8, -605682798375687093485907502188, -6.0568279837568706E29).
case(9, -576190322932139524805757938847, -5.761903229321395E29).
case(10, 665256044942305586914900221061, 6.652560449423056E29).
case(11, 903708759257693245950809178324, 9.037087592576932E29).
case(12, 227598011158652767810834603752, 2.2759801115865277E29).
case(13, -870795297072787415708976871945, -8.707952970727874E29).
case(14, 792897823484258172226154338534, 7.928978234842582E29).
case(15, -487525456778755884149075357334, -4.875254567787559E29).
case(16, -357858604656307487926603381581, -3.578586046563075E29).
case(17, 934093717767124927888345883359, 9.340937177671249E29).
case(18, 919313458837171432255168365346, 9.193134588371714E29).
case(19, -53363805731123577163276056715, -5.336380573112358E28).
case(20, 1003631339621331218319422905816, 1.0036313396213312E30).
case(21, -857917587958217360908966029075, -8.579175879582173E29).
case(22, -743150374754308815247667767736, -7.431503747543088E29).
case(23, -683812377734007942822446296961, -6.838123777340079E29).
case(24, 1050666339930798998819259543424, 1.050666339930799E30).
case(25, 640946449826546592909262714132, 6.409464498265466E29).
case(26, -668609188485634695750478138696, -6.686091884856348E29).
case(27, -191111713917072582426362556093, -1.911117139170726E29).
case(28, -180692569293471832300233195561, -1.8069256929347183E29).
case(29, 290544089590623533362446889799, 2.9054408959062354E29).
case(30, 768052855932066325126634806320, 7.680528559320663E29).
case(31, -1043824353294897671940315894045, -1.0438243532948976E30).
case(32, 1084820623678219703276914183804, 1.0848206236782196E30).
case(33, 971115517068352555903050780145, 9.711155170683526E29).
case(34, 1033146930635450135438752116697, 1.0331469306354501E30).
case(35, 634693359922418689947627280267, 6.346933599224187E29).
case(36, 553205773117024379738742153838, 5.532057731170244E29).
case(37, -1145901471783087212433955938511, -1.1459014717830872E30).
case(38, 821438103950902898652719316383, 8.214381039509029E29).
case(39, 1192295566203101424369346699425, 1.1922955662031014E30).
case(40, -547928744028842101934519238584, -5.4792874402884214E29).
case(41, 1114572320788096672303952463347, 1.1145723207880967E30).
case(42, 887649389369181862308791991941, 8.876493893691819E29).
case(43, -154055061889943314628525083708, -1.5405506188994332E29).
case(44, -1023705430166615732345606130255, -1.0237054301666157E30).
case(45, -152041523127351251937984894102, -1.5204152312735125E29).
case(46, 453169133583871788104536060339, 4.531691335838718E29).
case(47, -170726949792022478064994545890, -1.707269497920225E29).
case(48, 128961919195849151281092505989, 1.2896191919584915E29).
case(49, -212538178707524603108544911212, -2.125381787075246E29).
case(50, -505724155722518439211306640741, -5.057241557225185E29).
case(51, 847291644224935882219440539316, 8.472916442249358E29).
case(52, 352858589645284373906408853858, 3.5285858964528435E29).
case(53, 20881877755047878220560796507, 2.088187775504788E28).
case(54, 1265516516162214390926565632178, 1.2655165161622145E30).
case(55, 993522280064219581736084431687, 9.935222800642195E29).
case(56, 75764667878560170799604108596, 7.576466787856017E28).
case(57, -130588608059567762986914811411, -1.3058860805956777E29).
case(58, -666634503800005486879207814786, -6.666345038000055E29).
case(59, -835172899066002283224397528565, -8.351728990660023E29).
case(60, 556298000404689158023528613408, 5.5629800040468915E29).
case(61, 128498354673732459294213897369, 1.2849835467373245E29).
case(62, -963980553690368558493053883353, -9.639805536903685E29).
case(63, -328799896596502961459396480587, -3.2879989659650294E29).
case(64, -516147435860622128684130199951, -5.1614743586062215E29).
case(65, -429037532085123330349389662572, -4.2903753208512334E29).
case(66, -359041380181544432147436776936, -3.5904138018154444E29).
case(67, -118124254337152599915439550260, -1.181242543371526E29).
case(68, -292265192347773142676809676370, -2.9226519234777314E29).
case(69, -1083925079845144145355053798885, -1.0839250798451442E30).
case(70, 605286671178483059865243854519, 6.052866711784831E29).
case(71, 810759495426620314400519831176, 8.107594954266203E29).
case(72, -1077540567232254842938873714614, -1.0775405672322548E30).
case(73, 760033482675340809267658591691, 7.600334826753409E29).
case(74, 1130545381217525477104806536303, 1.1305453812175254E30).
case(75, 398109211984738431032591360809, 3.981092119847384E29).
case(76, 1017526924504070166625296893813, 1.0175269245040701E30).
case(77, -955841325808695975377357287933, -9.55841325808696E29).
case(78, -402566361684739041732802151039, -4.0256636168473904E29).
case(79, 200668466941997052961916732121, 2.0066846694199704E29).
case(80, 531646406373802988045873163690, 5.31646406373803E29).
case(81, -248024589390979958996394560463, -2.4802458939097996E29).
case(82, -301995822836436916568527597318, -3.019958228364369E29).
case(83, 11251189223341180762726887948, 1.1251189223341182E28).
case(84, -1077209598886858772972921687613, -1.0772095988868588E30).
case(85, 1159059155956151759177592047234, 1.1590591559561518E30).
case(86, 269238675117473432082193121567, 2.692386751174734E29).
case(87, -478779285280276817151374410827, -4.787792852802768E29).
case(88, -333216486710113986149343722165, -3.33216486710114E29).
case(89, -397169405432851678198560209202, -3.971694054328517E29).
case(90, -141476889796323063954377676249, -1.4147688979632306E29).
case(91, 476941971736491102888207366789, 4.769419717364911E29).
case(92, -750038607837142281041772326145, -7.500386078371423E29).
case(93, -267560636541106466963737145270, -2.6756063654110648E29).
case(94, 176723412746677956609291923375, 1.7672341274667797E29).
case(95, 945929517641705469801968207908, 9.459295176417055E29).
case(96, 1109441325518511890547438208437, 1.1094413255185119E30).
case(97, -933127267704408387740192052052, -9.331272677044084E29).
case(98, -514640056898583497323938549736, -5.146400568985835E29).
case(99, 366725791286497182844884214960, 3.6672579128649716E29).
case(100, 696113111032724515826593063483, 6.961131110327246E29).

case2(1, 633825300114114700748351602688, 6.338253001141147E29).
case2(2, 316912650057057350374175801344, 3.1691265005705735E29).
case2(3, 792281625142643375935439503360, 7.922816251426434E29).
case2(4, -1188422437713965063903159255040, -1.188422437713965E30).
case2(5, -198070406285660843983859875840, -1.9807040628566084E29).
case2(6, 653632340742680785146737590272, 6.536323407426808E29).
case2(7, 277298568799925181577403826176, 2.7729856879992518E29).
case2(8, -658584100899822306246334087168, -6.585841008998223E29).
case2(9, 591735338778411771401781379072, 5.917353387784118E29).
case2(10, -485272495399869067760456695808, -4.852724953998691E29).
case2(11, 183834095833878970822519947264, 1.8383409583387897E29).
case2(12, -727289773080160911503235481600, -7.272897730801609E29).
case2(13, 1138131123617996490235382333440, 1.1381311236179965E30).
case2(14, -330065762974464515794978996224, -3.300657629744645E29).
case2(15, 552546799409783952074505977856, 5.5254679940978395E29).
case2(16, -386179263817697143568140861440, -3.8617926381769714E29).
case2(17, 402891454348049777279279038464, 4.028914543480498E29).
case2(18, 1054773270503928579381042085888, 1.0547732705039286E30).
case2(19, 585731813158205522920190509056, 5.857318131582055E29).
case2(20, -307547101732502818157727055872, -3.0754710173250282E29).
case2(21, 1110510795417261057480870330368, 1.110510795417261E30).
case2(22, -1125115828244025392540495642624, -1.1251158282440254E30).
case2(23, 404156141871094131224668536832, 4.041561418710941E29).
case2(24, -642609959582344403646354030592, -6.426099595823444E29).
case2(25, -378350789114918886433007599616, -3.783507891149189E29).
case2(26, 1182087911982241516249250004992, 1.1820879119822415E30).
case2(27, -15111544410983967465955917824, -1.5111544410983967E28).
case2(28, 738978607655125237423692316672, 7.389786076551252E29).
case2(29, -715059811974657518677031649280, -7.150598119746575E29).
case2(30, -683201808000346353202033065984, -6.832018080003464E29).
case2(31, -202821812961216896080797499392, -2.028218129612169E29).
case2(32, 173015159534286906866293276672, 1.730151595342869E29).
case2(33, 43754795631194190885613993984, 4.375479563119419E28).
case2(34, -98319327285267171236005281792, -9.831932728526717E28).
case2(35, -51545439234717250408425717760, -5.154543923471725E28).
case2(36, 1014396182972695755977991913472, 1.0143961829726958E30).
case2(37, 1048630061608920532078919942144, 1.0486300616089205E30).
case2(38, -825846045325066996072352579584, -8.25846045325067E29).
case2(39, 134807780812627097999177154560, 1.348077808126271E29).
case2(40, -557340573934174594240436240384, -5.573405739341746E29).
case2(41, 246605202840247658691973611520, 2.4660520284024766E29).
case2(42, -368483948182901176937163522048, -3.684839481829012E29).
case2(43, -36719017629672996198716276736, -3.6719017629672996E28).
case2(44, -1135796318637424963738394427392, -1.135796318637425E30).
case2(45, -342537521104318611519929581568, -3.425375211043186E29).
case2(46, 995695678221148415391271223296, 9.956956782211484E29).
case2(47, 897634124148697312893236936704, 8.976341241486973E29).
case2(48, -267533743236678300621852377088, -2.675337432366783E29).
case2(49, -2973478479868573217862975488, -2.973478479868573E27).
case2(50, -136038046678636233518064074752, -1.3603804667863623E29).
case2(51, 813732828256872580637272309760, 8.137328282568726E29).
case2(52, 747990752307712906446120157184, 7.479907523077129E29).
case2(53, 109208605109690438193556488192, 1.0920860510969044E29).
case2(54, -204557100613991514250084876288, -2.045571006139915E29).
case2(55, 898836441842630694813418127360, 8.988364418426307E29).
case2(56, -1190359501396335678156200476672, -1.1903595013963357E30).
case2(57, 325089942683793474281621422080, 3.250899426837935E29).
case2(58, -602200523757754637319657226240, -6.0220052375775465E29).
case2(59, -645267939833819579649401815040, -6.452679398338196E29).
case2(60, -322373332270459632218785447936, -3.223733322704597E29).
case2(61, -32105844911902374421277442048, -3.2105844911902375E28).
case2(62, -811436478548300493293008977920, -8.114364785483005E29).
case2(63, 630114243518039665519099904000, 6.301142435180397E29).
case2(64, 185420270283189651966189895680, 1.8542027028318964E29).
case2(65, 1172254751867915635711824363520, 1.1722547518679157E30).
case2(66, -29974509530462346902807511040, -2.9974509530462348E28).
case2(67, 1194215809375498755082962337792, 1.1942158093754988E30).
case2(68, -384061585989604424224484622336, -3.8406158598960444E29).
case2(69, 649898036865138159707748302848, 6.498980368651381E29).
case2(70, -200967020355624282108232466432, -2.009670203556243E29).
case2(71, -734251525219042739332109565952, -7.342515252190427E29).
case2(72, 471962900988626647174130696192, 4.719629009886266E29).
case2(73, -501661575940558047689534603264, -5.01661575940558E29).
case2(74, -678673288069752029022603182080, -6.786732880697521E29).
case2(75, -165569191347060264428294373376, -1.6556919134706025E29).
case2(76, 349248701190324617774328971264, 3.492487011903246E29).
case2(77, 394475525598833996610551152640, 3.94475525598834E29).
case2(78, -750727528572992083739461812224, -7.507275285729921E29).
case2(79, -906614288894962714634683940864, -9.066142888949627E29).
case2(80, 937673749119130196773404934144, 9.376737491191302E29).
case2(81, -877251772504841814277674237952, -8.772517725048418E29).
case2(82, -224856177774627582102491627520, -2.248561777746276E29).
case2(83, 600658883743602148890111901696, 6.0065888374360216E29).
case2(84, -1062258142822301568061772267520, -1.0622581428223016E30).
case2(85, 1117891521183554240185981730816, 1.1178915211835542E30).
case2(86, 1234189219201668946818120548352, 1.2341892192016689E30).
case2(87, -236601126542294828981437759488, -2.3660112654229483E29).
case2(88, 249442661734698701893882470400, 2.494426617346987E29).
case2(89, -1074518097920194050744598050816, -1.074518097920194E30).
case2(90, 489034295053686041023986381824, 4.89034295053686E29).
case2(91, -860193842280409723550068403712, -8.601938422804098E29).
case2(92, -648607567791872183131619190528, -6.486075677918722E29).
case2(93, 414027152835406575797983392256, 4.1402715283540656E29).
case2(94, -260269777922245988740020415744, -2.60269777922246E29).
case2(95, -1259705241962826850855979541024, -1.2597052419628268E30).
case2(96, 938231249971862856260219836528, 9.382312499718629E29).
case2(97, 1174606937965120138373388402296, 1.17460693796512E30).
case2(98, -59608708088223272162032636324, -5.960870808822327E28).
case2(99, 910072633264760760872536852562, 9.100726332647608E29).
case2(100, -16943232850210989721888735900, -1.6943232850210989E28).

% ?- case(N, X, Y), Y =\= float(X).
% false.

% ?- case2(N, X, Y), Y =\= float(X).
% false.