Size = 41
Type = NBEVN interval(-1,191999,-24)
Type = NBEVN interval(0,192000,0)
Type = NBEVN interval(0,65535,0)
Type = NBEVN interval(1,65536,-24)
Type = NKCVN interval(-1,-1,0)
Type = NKCVN interval(0,0,0)
Type = NKCVN interval(1,1,0)
Type = NKCVN interval(65535,65535,0)
Type = NKIVN interval(-1.79769e+308,1.79769e+308,-24)
Type = RBEVN interval(0,1,-24)
Type = RBEVN interval(0,100,-24)
Type = RBEVN interval(0,1000,-24)
Type = RBEVN interval(0,192000,-24)
Type = RKCVN interval(0,0,-24)
Type = RKCVN interval(0.001,0.001,-24)
Type = RKCVN interval(0.01,0.01,-24)
Type = RKCVN interval(0.1,0.1,-24)
Type = RKCVN interval(1,1,-24)
Type = RKCVN interval(100,100,-24)
Type = RKCVN interval(1000,1000,-24)
Type = RKCVN interval(16.3,16.3,-24)
Type = RKCVN interval(192000,192000,-24)
Type = RKCVN interval(90.9,90.9,-24)
Type = RKIVN interval(-1.79769e+308,1.79769e+308,-24)
Type = RKIVN interval(0.001,192,-24)
Type = RKIVN interval(1,1.79769e+308,-24)
Type = RKIVN interval(1,192000,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSESN interval(-inf,inf,-24)
Type = RSEVN interval(-1,1,-24)
Type = RSEVN interval(-1,1,-24)
Type = SE interval(-inf,inf,-24) : {RSESN interval(-inf,inf,-24)}
Type = SE interval(-inf,inf,-24) : {RSESN interval(-inf,inf,-24)}
