#include "exam.h"
#include <cln/ffloat.h>
#include <cln/ffloat_io.h>

static minus_test ffloat_minus_tests[] = {

{ "-0.41894162", "0.23777992",
  "-0.65672153" },

{ "0.74937063", "0.4803756",
  "0.26899505" },

{ "0.46964037", "-0.94880456",
  "1.4184449" },

{ "0.16453332", "0.035123527",
  "0.12940979" },

{ "0.7353321", "-0.3952883",
  "1.1306204" },

{ "-0.33693552", "-0.6941588",
  "0.35722327" },

{ "-0.61853", "-9.25498E9",
  "9.25498E9" },

{ "0.5172653", "-6.728693E9",
  "6.728693E9" },

{ "0.1268478", "-1.8808037E9",
  "1.8808037E9" },

{ "0.29479754", "-3.4643973E9",
  "3.4643973E9" },

{ "0.34332883", "1.4258218E9",
  "-1.4258218E9" },

{ "-0.4093976", "-1.6698813E9",
  "1.6698813E9" },

{ "0.10942185", "-2.015636E-11",
  "0.10942185" },

{ "0.30351585", "4.4276416E-11",
  "0.30351585" },

{ "-0.41279083", "6.5274E-11",
  "-0.41279083" },

{ "0.7813598", "-5.028443E-11",
  "0.7813598" },

{ "-0.72214615", "2.5959075E-11",
  "-0.72214615" },

{ "-0.8924311", "-5.2076333E-11",
  "-0.8924311" },

{ "-0.26128495", "6.8887236E19",
  "-6.8887236E19" },

{ "0.906616", "-2.0519019E18",
  "2.0519019E18" },

{ "0.96452767", "-1.6347343E19",
  "1.6347343E19" },

{ "-0.99801517", "8.383864E19",
  "-8.383864E19" },

{ "-0.60573876", "-4.890489E19",
  "4.890489E19" },

{ "-0.004701972", "6.3981E18",
  "-6.3981E18" },

{ "0.34311903", "3.52871E-21",
  "0.34311903" },

{ "-0.38159567", "-2.3400748E-21",
  "-0.38159567" },

{ "-0.6719565", "-5.4333447E-21",
  "-0.6719565" },

{ "-0.21363729", "8.021308E-21",
  "-0.21363729" },

{ "0.5275244", "-4.88554E-21",
  "0.5275244" },

{ "0.9064559", "-6.5840867E-21",
  "0.9064559" },

{ "-3.0312538E8", "0.26249015",
  "-3.0312538E8" },

{ "-9.217122E9", "0.22172129",
  "-9.217122E9" },

{ "-1.157806E9", "-0.95704305",
  "-1.157806E9" },

{ "6.743087E9", "-0.37863714",
  "6.743087E9" },

{ "-4.0819942E8", "-0.068549395",
  "-4.0819942E8" },

{ "4.586502E9", "0.29215187",
  "4.586502E9" },

{ "5.091125E9", "-2.971223E9",
  "8.0623483E9" },

{ "-2.1147072E8", "-8.537374E9",
  "8.3259034E9" },

{ "-9.075735E9", "-9.072693E9",
  "-3041280.0" },

{ "1.4614451E9", "3.0213921E9",
  "-1.559947E9" },

{ "8.960645E9", "5.4822825E9",
  "3.4783626E9" },

{ "-3.7246787E9", "-2.823592E9",
  "-9.010867E8" },

{ "-3.4256804E9", "-1.8245674E-11",
  "-3.4256804E9" },

{ "7.0777057E9", "3.6826153E-11",
  "7.0777057E9" },

{ "3.4600579E9", "-5.207135E-11",
  "3.4600579E9" },

{ "9.57872E9", "8.222393E-11",
  "9.57872E9" },

{ "8.388926E9", "-1.1216945E-11",
  "8.388926E9" },

{ "3.8273395E8", "1.153788E-11",
  "3.8273395E8" },

{ "-1.2011469E8", "-9.879852E19",
  "9.879852E19" },

{ "3.850388E9", "4.8155957E19",
  "-4.8155957E19" },

{ "5.5329756E9", "-5.067925E19",
  "5.067925E19" },

{ "3.3222902E9", "5.2892763E19",
  "-5.2892763E19" },

{ "4.431185E9", "-8.005187E19",
  "8.005187E19" },

{ "-7.307553E8", "-6.8217897E19",
  "6.8217897E19" },

{ "7.9813893E9", "9.68989E-21",
  "7.9813893E9" },

{ "-5.7208223E9", "9.790913E-21",
  "-5.7208223E9" },

{ "-5.9564112E7", "9.217466E-21",
  "-5.9564112E7" },

{ "5.4524237E9", "4.947411E-21",
  "5.4524237E9" },

{ "1.4269632E9", "-5.1552662E-21",
  "1.4269632E9" },

{ "3.7555832E9", "-4.168443E-21",
  "3.7555832E9" },

{ "-4.1575327E-11", "-0.38582206",
  "0.38582206" },

{ "-5.810516E-11", "-0.5456566",
  "0.5456566" },

{ "-1.2386638E-11", "-0.6209788",
  "0.6209788" },

{ "2.0245033E-11", "-0.7418727",
  "0.7418727" },

{ "3.7671637E-11", "0.1772576",
  "-0.1772576" },

{ "-2.2774244E-11", "-0.5959606",
  "0.5959606" },

{ "-5.6623112E-11", "6.8330056E9",
  "-6.8330056E9" },

{ "-9.2078116E-11", "-3.4236897E9",
  "3.4236897E9" },

{ "-3.317883E-11", "-3.2438755E8",
  "3.2438755E8" },

{ "6.711307E-11", "-7.9204526E9",
  "7.9204526E9" },

{ "-5.1150143E-11", "9.1128E9",
  "-9.1128E9" },

{ "-7.3234044E-11", "-8.067016E9",
  "8.067016E9" },

{ "-3.217777E-11", "-1.6301262E-11",
  "-1.5876508E-11" },

{ "9.6583325E-11", "5.882668E-11",
  "3.7756645E-11" },

{ "-7.573351E-11", "6.3386435E-11",
  "-1.3911994E-10" },

{ "-4.5759726E-11", "8.069604E-11",
  "-1.2645576E-10" },

{ "-9.538651E-11", "-9.01152E-11",
  "-5.271311E-12" },

{ "6.2486766E-11", "-3.414284E-11",
  "9.662961E-11" },

{ "5.530477E-13", "-3.1361222E18",
  "3.1361222E18" },

{ "1.7998643E-11", "1.5437615E19",
  "-1.5437615E19" },

{ "-4.7948378E-11", "2.6669319E19",
  "-2.6669319E19" },

{ "-6.8626884E-12", "-5.7713735E19",
  "5.7713735E19" },

{ "6.195949E-11", "2.8851469E19",
  "-2.8851469E19" },

{ "2.4957127E-11", "-2.661574E18",
  "2.661574E18" },

{ "9.8157565E-11", "-4.561507E-21",
  "9.8157565E-11" },

{ "-9.332288E-11", "-9.280375E-21",
  "-9.332288E-11" },

{ "-9.916877E-11", "-1.6945641E-21",
  "-9.916877E-11" },

{ "-6.460804E-11", "-3.6695186E-21",
  "-6.460804E-11" },

{ "6.712223E-11", "-2.5360524E-21",
  "6.712223E-11" },

{ "2.3824066E-11", "-7.439168E-21",
  "2.3824066E-11" },

{ "-5.189389E19", "0.01453203",
  "-5.189389E19" },

{ "7.0132006E19", "0.45530832",
  "7.0132006E19" },

{ "2.9365046E19", "0.36346745",
  "2.9365046E19" },

{ "-4.1377934E19", "0.37368965",
  "-4.1377934E19" },

{ "-1.891423E19", "0.159002",
  "-1.891423E19" },

{ "1.8096083E19", "-0.6511793",
  "1.8096083E19" },

{ "6.4361307E19", "6.6511677E9",
  "6.4361307E19" },

{ "-1.8698508E19", "1.1925399E9",
  "-1.8698508E19" },

{ "7.75824E19", "7.7361823E9",
  "7.75824E19" },

{ "-7.2570015E19", "3.0842496E9",
  "-7.2570015E19" },

{ "-1.9014525E19", "-3.8941514E9",
  "-1.9014525E19" },

{ "3.2787157E19", "-8.612244E9",
  "3.2787157E19" },

{ "6.4268583E19", "-1.2707472E-11",
  "6.4268583E19" },

{ "-6.5179933E19", "8.61941E-11",
  "-6.5179933E19" },

{ "-8.106952E19", "2.1709537E-11",
  "-8.106952E19" },

{ "2.5455064E19", "3.5653924E-11",
  "2.5455064E19" },

{ "1.574235E19", "-2.7033407E-11",
  "1.574235E19" },

{ "-1.1099541E19", "-8.620364E-12",
  "-1.1099541E19" },

{ "-6.346294E19", "2.9902512E19",
  "-9.336545E19" },

{ "4.9783164E19", "-2.079425E19",
  "7.0577414E19" },

{ "-7.149202E19", "1.4282865E19",
  "-8.577488E19" },

{ "6.0978866E19", "5.256896E19",
  "8.409905E18" },

{ "-9.961146E19", "-1.9834548E19",
  "-7.977691E19" },

{ "2.5196015E18", "5.0534214E19",
  "-4.8014613E19" },

{ "-3.6981453E19", "-1.005367E-21",
  "-3.6981453E19" },

{ "8.881044E19", "-9.717088E-22",
  "8.881044E19" },

{ "4.9637263E19", "-7.544846E-21",
  "4.9637263E19" },

{ "-4.2414725E19", "1.3904184E-21",
  "-4.2414725E19" },

{ "7.844454E18", "-8.659333E-21",
  "7.844454E18" },

{ "1.5733016E19", "8.638849E-21",
  "1.5733016E19" },

{ "1.7531192E-21", "-0.8690463",
  "0.8690463" },

{ "9.449351E-21", "0.7848489",
  "-0.7848489" },

{ "5.5016538E-21", "-0.8998171",
  "0.8998171" },

{ "-6.977279E-21", "-0.9815793",
  "0.9815793" },

{ "-7.9253305E-21", "-0.21357381",
  "0.21357381" },

{ "4.026555E-21", "0.5610563",
  "-0.5610563" },

{ "-7.080433E-21", "-1.9501078E9",
  "1.9501078E9" },

{ "-8.152211E-21", "8.164317E9",
  "-8.164317E9" },

{ "2.177096E-21", "-8.591886E9",
  "8.591886E9" },

{ "9.387247E-21", "3.5730028E9",
  "-3.5730028E9" },

{ "-7.589234E-21", "-4.9193774E9",
  "4.9193774E9" },

{ "1.5755653E-21", "-2.3484498E9",
  "2.3484498E9" },

{ "9.3034425E-21", "8.28104E-11",
  "-8.28104E-11" },

{ "-6.417297E-21", "-8.352926E-11",
  "8.352926E-11" },

{ "8.728735E-21", "9.160732E-11",
  "-9.160732E-11" },

{ "3.8984202E-21", "6.5116944E-12",
  "-6.5116944E-12" },

{ "6.288995E-21", "-5.6701328E-11",
  "5.6701328E-11" },

{ "-2.7652023E-22", "-1.01428276E-11",
  "1.01428276E-11" },

{ "4.7200214E-21", "-3.726995E18",
  "3.726995E18" },

{ "-2.2945808E-21", "-7.3098524E19",
  "7.3098524E19" },

{ "-9.493033E-21", "3.4235436E19",
  "-3.4235436E19" },

{ "3.7946773E-21", "-5.126768E18",
  "5.126768E18" },

{ "-1.2865209E-21", "3.5096026E19",
  "-3.5096026E19" },

{ "-8.403449E-21", "5.704743E18",
  "-5.704743E18" },

{ "2.928304E-21", "-5.574477E-21",
  "8.502781E-21" },

{ "-9.46122E-21", "-3.858943E-21",
  "-5.602277E-21" },

{ "7.296878E-22", "1.8123137E-21",
  "-1.0826259E-21" },

{ "5.866651E-21", "2.4605584E-21",
  "3.4060923E-21" },

{ "-7.633577E-21", "9.915102E-21",
  "-1.7548679E-20" },

{ "-8.7881085E-24", "3.001468E-21",
  "-3.0102563E-21" },

};