version: ?.??

extended: 1

rounding: half_even

-- testing folddown and clamping

maxexponent: 9

minexponent: -9

precision: 6

clamp: 1

extr0000 apply 1E+11 -> Infinity Overflow Inexact Rounded

extr0001 apply 1E+10 -> Infinity Overflow Inexact Rounded

extr0002 apply 1E+9 -> 1.00000E+9 Clamped

extr0003 apply 1E+8 -> 1.0000E+8 Clamped

extr0004 apply 1E+7 -> 1.000E+7 Clamped

extr0005 apply 1E+6 -> 1.00E+6 Clamped

extr0006 apply 1E+5 -> 1.0E+5 Clamped

extr0007 apply 1E+4 -> 1E+4

extr0008 apply 1E+3 -> 1E+3

extr0009 apply 1E+2 -> 1E+2

extr0010 apply 1E+1 -> 1E+1

extr0011 apply 1 -> 1

extr0012 apply 1E-1 -> 0.1

extr0013 apply 1E-2 -> 0.01

extr0014 apply 1E-3 -> 0.001

extr0015 apply 1E-4 -> 0.0001

extr0016 apply 1E-5 -> 0.00001

extr0017 apply 1E-6 -> 0.000001

extr0018 apply 1E-7 -> 1E-7

extr0019 apply 1E-8 -> 1E-8

extr0020 apply 1E-9 -> 1E-9

extr0021 apply 1E-10 -> 1E-10 Subnormal

extr0022 apply 1E-11 -> 1E-11 Subnormal

extr0023 apply 1E-12 -> 1E-12 Subnormal

extr0024 apply 1E-13 -> 1E-13 Subnormal

extr0025 apply 1E-14 -> 1E-14 Subnormal

extr0026 apply 1E-15 -> 0E-14 Inexact Rounded Subnormal Underflow Clamped

extr0027 apply 1E-16 -> 0E-14 Inexact Rounded Subnormal Underflow Clamped

clamp: 0

-- large precision, small minimum and maximum exponent; in this case

-- it's possible that folddown is required on a subnormal result

maxexponent: 9

minexponent: -9

precision: 24

clamp: 1

extr0100 apply 1E+11 -> Infinity Overflow Inexact Rounded

extr0101 apply 1E+10 -> Infinity Overflow Inexact Rounded

extr0102 apply 1E+9 -> 1000000000.00000000000000 Clamped

extr0103 apply 1E+8 -> 100000000.00000000000000 Clamped

extr0104 apply 1E+7 -> 10000000.00000000000000 Clamped

extr0105 apply 1E+6 -> 1000000.00000000000000 Clamped

extr0106 apply 1E+5 -> 100000.00000000000000 Clamped

extr0107 apply 1E+4 -> 10000.00000000000000 Clamped

extr0108 apply 1E+3 -> 1000.00000000000000 Clamped

extr0109 apply 1E+2 -> 100.00000000000000 Clamped

extr0110 apply 1E+1 -> 10.00000000000000 Clamped

extr0111 apply 1 ->    1.00000000000000 Clamped

extr0112 apply 1E-1 -> 0.10000000000000 Clamped

extr0113 apply 1E-2 -> 0.01000000000000 Clamped

extr0114 apply 1E-3 -> 0.00100000000000 Clamped

extr0115 apply 1E-4 -> 0.00010000000000 Clamped

extr0116 apply 1E-5 -> 0.00001000000000 Clamped

extr0117 apply 1E-6 -> 0.00000100000000 Clamped

extr0118 apply 1E-7 -> 1.0000000E-7 Clamped

extr0119 apply 1E-8 -> 1.000000E-8 Clamped

extr0120 apply 1E-9 -> 1.00000E-9 Clamped

extr0121 apply 1E-10 -> 1.0000E-10 Subnormal Clamped

extr0122 apply 1E-11 -> 1.000E-11 Subnormal Clamped

extr0123 apply 1E-12 -> 1.00E-12 Subnormal Clamped

extr0124 apply 1E-13 -> 1.0E-13 Subnormal Clamped

extr0125 apply 1E-14 -> 1E-14 Subnormal

extr0126 apply 1E-15 -> 1E-15 Subnormal

extr0127 apply 1E-16 -> 1E-16 Subnormal

extr0128 apply 1E-17 -> 1E-17 Subnormal

extr0129 apply 1E-18 -> 1E-18 Subnormal

extr0130 apply 1E-19 -> 1E-19 Subnormal

extr0131 apply 1E-20 -> 1E-20 Subnormal

extr0132 apply 1E-21 -> 1E-21 Subnormal

extr0133 apply 1E-22 -> 1E-22 Subnormal

extr0134 apply 1E-23 -> 1E-23 Subnormal

extr0135 apply 1E-24 -> 1E-24 Subnormal

extr0136 apply 1E-25 -> 1E-25 Subnormal

extr0137 apply 1E-26 -> 1E-26 Subnormal

extr0138 apply 1E-27 -> 1E-27 Subnormal

extr0139 apply 1E-28 -> 1E-28 Subnormal

extr0140 apply 1E-29 -> 1E-29 Subnormal

extr0141 apply 1E-30 -> 1E-30 Subnormal

extr0142 apply 1E-31 -> 1E-31 Subnormal

extr0143 apply 1E-32 -> 1E-32 Subnormal

extr0144 apply 1E-33 -> 0E-32 Inexact Rounded Subnormal Underflow Clamped

extr0145 apply 1E-34 -> 0E-32 Inexact Rounded Subnormal Underflow Clamped

clamp: 0

-- some buggy addition cases from Python 2.5.x

maxexponent: 999

minexponent: -999

precision: 6

extr1000 add 0E+1000 0E+2000 -> 0E+999 Clamped

extr1001 add 0E+1004 0E+1001 -> 0E+999 Clamped

clamp: 1

extr1002 add 0E+1000 0E+1000 -> 0E+994 Clamped

clamp: 0

extr1003 add 0E+1000 0E-1005 -> 0E-1004 Clamped

extr1004 add 0E-1006 0 -> 0E-1004 Clamped

extr1005 add 1E+1000 -1E+1000 -> 0E+999 Clamped

extr1006 add -3.1E+1004 3.1E+1004 -> 0E+999 Clamped

clamp: 1

extr1007 add 1E+998 -1E+998 -> 0E+994 Clamped

clamp: 0

extr1008 add 2E-1005 -2E-1005 -> 0E-1004 Clamped

extr1009 add -3.1E-1005 3.1E-1005 -> 0E-1004 Clamped

precision: 3

extr1010 add 99949.9 0.200000 -> 1.00E+5 Inexact Rounded

extr1011 add 99949.9 0.100000 -> 1.00E+5 Inexact Rounded

extr1012 add 99849.9 0.200000 -> 9.99E+4 Inexact Rounded

extr1013 add 99849.9 0.100000 -> 9.98E+4 Inexact Rounded

extr1014 add 1.0149 0.00011 -> 1.02 Inexact Rounded

extr1015 add 1.0149 0.00010 -> 1.02 Inexact Rounded

extr1016 add 1.0149 0.00009 -> 1.01 Inexact Rounded

extr1017 add 1.0049 0.00011 -> 1.01 Inexact Rounded

extr1018 add 1.0049 0.00010 -> 1.00 Inexact Rounded

extr1019 add 1.0049 0.00009 -> 1.00 Inexact Rounded

rounding: down

extr1020 add 99999.9 0.200000 -> 1.00E+5 Inexact Rounded

extr1021 add 99999.8 0.200000 -> 1.00E+5 Rounded

extr1022 add 99999.7 0.200000 -> 9.99E+4 Inexact Rounded

rounding: half_even

-- a bug in _rescale caused the following to fail in Python 2.5.1

maxexponent: 999

minexponent: -999

precision: 6

extr1100 add 0E+1000 1E+1000 -> Infinity Overflow Inexact Rounded

extr1101 remainder 1E+1000 2E+1000 -> Infinity Overflow Inexact Rounded

-- tests for scaleb in case where input precision > context precision.

-- Result should be rounded.  (This isn't totally clear from the

-- specification, but the treatment of underflow in the testcases

-- suggests that rounding should occur in general.  Furthermore, it's

-- the way that the reference implementation behaves.)

maxexponent: 999

minexponent: -999

precision: 3

extr1200 scaleb 1234 1 -> 1.23E+4 Inexact Rounded

extr1201 scaleb 5678 0 -> 5.68E+3 Inexact Rounded

extr1202 scaleb -9105 -1 -> -910 Inexact Rounded

-- Invalid operation from 0 * infinity in fma

-- takes precedence over a third-argument sNaN

extr1300 fma 0 Inf sNaN123 -> NaN Invalid_operation

extr1301 fma Inf 0 sNaN456 -> NaN Invalid_operation

extr1302 fma 0E123 -Inf sNaN789 -> NaN Invalid_operation

extr1302 fma -Inf 0E-456 sNaN148 -> NaN Invalid_operation

-- Tests for the is_* boolean operations

precision: 9

maxExponent: 999

minExponent: -999

bool0000 iscanonical 0E-2000 -> 1

bool0001 iscanonical -0E-2000 -> 1

bool0002 iscanonical 0E-1008 -> 1

bool0003 iscanonical -0E-1008 -> 1

bool0004 iscanonical 0E-1007 -> 1

bool0005 iscanonical -0E-1007 -> 1

bool0006 iscanonical 0E-1006 -> 1

bool0007 iscanonical -0E-1006 -> 1

bool0008 iscanonical 0E-1000 -> 1

bool0009 iscanonical -0E-1000 -> 1

bool0010 iscanonical 0E-999 -> 1

bool0011 iscanonical -0E-999 -> 1

bool0012 iscanonical 0E-998 -> 1

bool0013 iscanonical -0E-998 -> 1

bool0014 iscanonical 0E-100 -> 1

bool0015 iscanonical -0E-100 -> 1

bool0016 iscanonical 0.000000 -> 1

bool0017 iscanonical -0.000000 -> 1

bool0018 iscanonical 0.000 -> 1

bool0019 iscanonical -0.000 -> 1

bool0020 iscanonical 0.00 -> 1

bool0021 iscanonical -0.00 -> 1

bool0022 iscanonical 0.0 -> 1

bool0023 iscanonical -0.0 -> 1

bool0024 iscanonical 0 -> 1

bool0025 iscanonical -0 -> 1

bool0026 iscanonical 0E+1 -> 1

bool0027 iscanonical -0E+1 -> 1

bool0028 iscanonical 0E+2 -> 1

bool0029 iscanonical -0E+2 -> 1

bool0030 iscanonical 0E+3 -> 1

bool0031 iscanonical -0E+3 -> 1

bool0032 iscanonical 0E+6 -> 1

bool0033 iscanonical -0E+6 -> 1

bool0034 iscanonical 0E+100 -> 1

bool0035 iscanonical -0E+100 -> 1

bool0036 iscanonical 0E+990 -> 1

bool0037 iscanonical -0E+990 -> 1

bool0038 iscanonical 0E+991 -> 1

bool0039 iscanonical -0E+991 -> 1

bool0040 iscanonical 0E+992 -> 1

bool0041 iscanonical -0E+992 -> 1

bool0042 iscanonical 0E+998 -> 1

bool0043 iscanonical -0E+998 -> 1

bool0044 iscanonical 0E+999 -> 1

bool0045 iscanonical -0E+999 -> 1

bool0046 iscanonical 0E+1000 -> 1

bool0047 iscanonical -0E+1000 -> 1

bool0048 iscanonical 0E+2000 -> 1

bool0049 iscanonical -0E+2000 -> 1

bool0050 iscanonical 1E-2000 -> 1

bool0051 iscanonical -1E-2000 -> 1

bool0052 iscanonical 1E-1008 -> 1

bool0053 iscanonical -1E-1008 -> 1

bool0054 iscanonical 1E-1007 -> 1

bool0055 iscanonical -1E-1007 -> 1

bool0056 iscanonical 1E-1006 -> 1

bool0057 iscanonical -1E-1006 -> 1

bool0058 iscanonical 1E-1000 -> 1

bool0059 iscanonical -1E-1000 -> 1

bool0060 iscanonical 1E-999 -> 1

bool0061 iscanonical -1E-999 -> 1

bool0062 iscanonical 1E-998 -> 1

bool0063 iscanonical -1E-998 -> 1

bool0064 iscanonical 1E-100 -> 1

bool0065 iscanonical -1E-100 -> 1

bool0066 iscanonical 0.000001 -> 1

bool0067 iscanonical -0.000001 -> 1

bool0068 iscanonical 0.001 -> 1

bool0069 iscanonical -0.001 -> 1

bool0070 iscanonical 0.01 -> 1

bool0071 iscanonical -0.01 -> 1

bool0072 iscanonical 0.1 -> 1

bool0073 iscanonical -0.1 -> 1

bool0074 iscanonical 1 -> 1

bool0075 iscanonical -1 -> 1

bool0076 iscanonical 1E+1 -> 1

bool0077 iscanonical -1E+1 -> 1

bool0078 iscanonical 1E+2 -> 1

bool0079 iscanonical -1E+2 -> 1

bool0080 iscanonical 1E+3 -> 1

bool0081 iscanonical -1E+3 -> 1

bool0082 iscanonical 1E+6 -> 1

bool0083 iscanonical -1E+6 -> 1

bool0084 iscanonical 1E+100 -> 1

bool0085 iscanonical -1E+100 -> 1

bool0086 iscanonical 1E+990 -> 1

bool0087 iscanonical -1E+990 -> 1

bool0088 iscanonical 1E+991 -> 1

bool0089 iscanonical -1E+991 -> 1

bool0090 iscanonical 1E+992 -> 1

bool0091 iscanonical -1E+992 -> 1

bool0092 iscanonical 1E+998 -> 1

bool0093 iscanonical -1E+998 -> 1

bool0094 iscanonical 1E+999 -> 1

bool0095 iscanonical -1E+999 -> 1

bool0096 iscanonical 1E+1000 -> 1

bool0097 iscanonical -1E+1000 -> 1

bool0098 iscanonical 1E+2000 -> 1

bool0099 iscanonical -1E+2000 -> 1

bool0100 iscanonical 9E-2000 -> 1

bool0101 iscanonical -9E-2000 -> 1

bool0102 iscanonical 9E-1008 -> 1

bool0103 iscanonical -9E-1008 -> 1

bool0104 iscanonical 9E-1007 -> 1

bool0105 iscanonical -9E-1007 -> 1

bool0106 iscanonical 9E-1006 -> 1

bool0107 iscanonical -9E-1006 -> 1

bool0108 iscanonical 9E-1000 -> 1

bool0109 iscanonical -9E-1000 -> 1

bool0110 iscanonical 9E-999 -> 1

bool0111 iscanonical -9E-999 -> 1

bool0112 iscanonical 9E-998 -> 1

bool0113 iscanonical -9E-998 -> 1

bool0114 iscanonical 9E-100 -> 1

bool0115 iscanonical -9E-100 -> 1

bool0116 iscanonical 0.000009 -> 1

bool0117 iscanonical -0.000009 -> 1

bool0118 iscanonical 0.009 -> 1

bool0119 iscanonical -0.009 -> 1

bool0120 iscanonical 0.09 -> 1

bool0121 iscanonical -0.09 -> 1

bool0122 iscanonical 0.9 -> 1

bool0123 iscanonical -0.9 -> 1

bool0124 iscanonical 9 -> 1

bool0125 iscanonical -9 -> 1

bool0126 iscanonical 9E+1 -> 1

bool0127 iscanonical -9E+1 -> 1

bool0128 iscanonical 9E+2 -> 1

bool0129 iscanonical -9E+2 -> 1

bool0130 iscanonical 9E+3 -> 1

bool0131 iscanonical -9E+3 -> 1

bool0132 iscanonical 9E+6 -> 1

bool0133 iscanonical -9E+6 -> 1

bool0134 iscanonical 9E+100 -> 1

bool0135 iscanonical -9E+100 -> 1

bool0136 iscanonical 9E+990 -> 1

bool0137 iscanonical -9E+990 -> 1

bool0138 iscanonical 9E+991 -> 1

bool0139 iscanonical -9E+991 -> 1

bool0140 iscanonical 9E+992 -> 1

bool0141 iscanonical -9E+992 -> 1

bool0142 iscanonical 9E+998 -> 1

bool0143 iscanonical -9E+998 -> 1

bool0144 iscanonical 9E+999 -> 1

bool0145 iscanonical -9E+999 -> 1

bool0146 iscanonical 9E+1000 -> 1

bool0147 iscanonical -9E+1000 -> 1

bool0148 iscanonical 9E+2000 -> 1

bool0149 iscanonical -9E+2000 -> 1

bool0150 iscanonical 9.99999999E-2000 -> 1

bool0151 iscanonical -9.99999999E-2000 -> 1

bool0152 iscanonical 9.99999999E-1008 -> 1

bool0153 iscanonical -9.99999999E-1008 -> 1

bool0154 iscanonical 9.99999999E-1007 -> 1

bool0155 iscanonical -9.99999999E-1007 -> 1

bool0156 iscanonical 9.99999999E-1006 -> 1

bool0157 iscanonical -9.99999999E-1006 -> 1

bool0158 iscanonical 9.99999999E-1000 -> 1

bool0159 iscanonical -9.99999999E-1000 -> 1

bool0160 iscanonical 9.99999999E-999 -> 1

bool0161 iscanonical -9.99999999E-999 -> 1

bool0162 iscanonical 9.99999999E-998 -> 1

bool0163 iscanonical -9.99999999E-998 -> 1

bool0164 iscanonical 9.99999999E-100 -> 1

bool0165 iscanonical -9.99999999E-100 -> 1

bool0166 iscanonical 0.00000999999999 -> 1

bool0167 iscanonical -0.00000999999999 -> 1

bool0168 iscanonical 0.00999999999 -> 1

bool0169 iscanonical -0.00999999999 -> 1

bool0170 iscanonical 0.0999999999 -> 1

bool0171 iscanonical -0.0999999999 -> 1

bool0172 iscanonical 0.999999999 -> 1

bool0173 iscanonical -0.999999999 -> 1

bool0174 iscanonical 9.99999999 -> 1

bool0175 iscanonical -9.99999999 -> 1

bool0176 iscanonical 99.9999999 -> 1

bool0177 iscanonical -99.9999999 -> 1

bool0178 iscanonical 999.999999 -> 1

bool0179 iscanonical -999.999999 -> 1

bool0180 iscanonical 9999.99999 -> 1

bool0181 iscanonical -9999.99999 -> 1

bool0182 iscanonical 9999999.99 -> 1

bool0183 iscanonical -9999999.99 -> 1

bool0184 iscanonical 9.99999999E+100 -> 1

bool0185 iscanonical -9.99999999E+100 -> 1

bool0186 iscanonical 9.99999999E+990 -> 1

bool0187 iscanonical -9.99999999E+990 -> 1

bool0188 iscanonical 9.99999999E+991 -> 1

bool0189 iscanonical -9.99999999E+991 -> 1

bool0190 iscanonical 9.99999999E+992 -> 1

bool0191 iscanonical -9.99999999E+992 -> 1

bool0192 iscanonical 9.99999999E+998 -> 1

bool0193 iscanonical -9.99999999E+998 -> 1

bool0194 iscanonical 9.99999999E+999 -> 1

bool0195 iscanonical -9.99999999E+999 -> 1

bool0196 iscanonical 9.99999999E+1000 -> 1

bool0197 iscanonical -9.99999999E+1000 -> 1

bool0198 iscanonical 9.99999999E+2000 -> 1

bool0199 iscanonical -9.99999999E+2000 -> 1

bool0200 iscanonical Infinity -> 1

bool0201 iscanonical -Infinity -> 1

bool0202 iscanonical NaN -> 1

bool0203 iscanonical -NaN -> 1

bool0204 iscanonical NaN123 -> 1

bool0205 iscanonical -NaN123 -> 1

bool0206 iscanonical sNaN -> 1

bool0207 iscanonical -sNaN -> 1

bool0208 iscanonical sNaN123 -> 1

bool0209 iscanonical -sNaN123 -> 1

bool0210 isfinite 0E-2000 -> 1

bool0211 isfinite -0E-2000 -> 1

bool0212 isfinite 0E-1008 -> 1

bool0213 isfinite -0E-1008 -> 1

bool0214 isfinite 0E-1007 -> 1

bool0215 isfinite -0E-1007 -> 1

bool0216 isfinite 0E-1006 -> 1

bool0217 isfinite -0E-1006 -> 1

bool0218 isfinite 0E-1000 -> 1

bool0219 isfinite -0E-1000 -> 1

bool0220 isfinite 0E-999 -> 1

bool0221 isfinite -0E-999 -> 1

bool0222 isfinite 0E-998 -> 1

bool0223 isfinite -0E-998 -> 1

bool0224 isfinite 0E-100 -> 1

bool0225 isfinite -0E-100 -> 1

bool0226 isfinite 0.000000 -> 1

bool0227 isfinite -0.000000 -> 1

bool0228 isfinite 0.000 -> 1

bool0229 isfinite -0.000 -> 1

bool0230 isfinite 0.00 -> 1

bool0231 isfinite -0.00 -> 1

bool0232 isfinite 0.0 -> 1

bool0233 isfinite -0.0 -> 1

bool0234 isfinite 0 -> 1

bool0235 isfinite -0 -> 1

bool0236 isfinite 0E+1 -> 1

bool0237 isfinite -0E+1 -> 1

bool0238 isfinite 0E+2 -> 1

bool0239 isfinite -0E+2 -> 1

bool0240 isfinite 0E+3 -> 1

bool0241 isfinite -0E+3 -> 1

bool0242 isfinite 0E+6 -> 1

bool0243 isfinite -0E+6 -> 1

bool0244 isfinite 0E+100 -> 1

bool0245 isfinite -0E+100 -> 1

bool0246 isfinite 0E+990 -> 1

bool0247 isfinite -0E+990 -> 1

bool0248 isfinite 0E+991 -> 1

bool0249 isfinite -0E+991 -> 1

bool0250 isfinite 0E+992 -> 1

bool0251 isfinite -0E+992 -> 1

bool0252 isfinite 0E+998 -> 1

bool0253 isfinite -0E+998 -> 1

bool0254 isfinite 0E+999 -> 1

bool0255 isfinite -0E+999 -> 1

bool0256 isfinite 0E+1000 -> 1

bool0257 isfinite -0E+1000 -> 1

bool0258 isfinite 0E+2000 -> 1

bool0259 isfinite -0E+2000 -> 1

bool0260 isfinite 1E-2000 -> 1

bool0261 isfinite -1E-2000 -> 1

bool0262 isfinite 1E-1008 -> 1

bool0263 isfinite -1E-1008 -> 1

bool0264 isfinite 1E-1007 -> 1

bool0265 isfinite -1E-1007 -> 1

bool0266 isfinite 1E-1006 -> 1

bool0267 isfinite -1E-1006 -> 1

bool0268 isfinite 1E-1000 -> 1

bool0269 isfinite -1E-1000 -> 1

bool0270 isfinite 1E-999 -> 1

bool0271 isfinite -1E-999 -> 1

bool0272 isfinite 1E-998 -> 1

bool0273 isfinite -1E-998 -> 1

bool0274 isfinite 1E-100 -> 1

bool0275 isfinite -1E-100 -> 1

bool0276 isfinite 0.000001 -> 1

bool0277 isfinite -0.000001 -> 1

bool0278 isfinite 0.001 -> 1

bool0279 isfinite -0.001 -> 1

bool0280 isfinite 0.01 -> 1

bool0281 isfinite -0.01 -> 1

bool0282 isfinite 0.1 -> 1

bool0283 isfinite -0.1 -> 1

bool0284 isfinite 1 -> 1

bool0285 isfinite -1 -> 1

bool0286 isfinite 1E+1 -> 1

bool0287 isfinite -1E+1 -> 1

bool0288 isfinite 1E+2 -> 1

bool0289 isfinite -1E+2 -> 1

bool0290 isfinite 1E+3 -> 1

bool0291 isfinite -1E+3 -> 1

bool0292 isfinite 1E+6 -> 1

bool0293 isfinite -1E+6 -> 1

bool0294 isfinite 1E+100 -> 1

bool0295 isfinite -1E+100 -> 1

bool0296 isfinite 1E+990 -> 1

bool0297 isfinite -1E+990 -> 1

bool0298 isfinite 1E+991 -> 1

bool0299 isfinite -1E+991 -> 1

bool0300 isfinite 1E+992 -> 1

bool0301 isfinite -1E+992 -> 1

bool0302 isfinite 1E+998 -> 1

bool0303 isfinite -1E+998 -> 1

bool0304 isfinite 1E+999 -> 1

bool0305 isfinite -1E+999 -> 1

bool0306 isfinite 1E+1000 -> 1

bool0307 isfinite -1E+1000 -> 1

bool0308 isfinite 1E+2000 -> 1

bool0309 isfinite -1E+2000 -> 1

bool0310 isfinite 9E-2000 -> 1

bool0311 isfinite -9E-2000 -> 1

bool0312 isfinite 9E-1008 -> 1

bool0313 isfinite -9E-1008 -> 1

bool0314 isfinite 9E-1007 -> 1

bool0315 isfinite -9E-1007 -> 1

bool0316 isfinite 9E-1006 -> 1

bool0317 isfinite -9E-1006 -> 1

bool0318 isfinite 9E-1000 -> 1

bool0319 isfinite -9E-1000 -> 1

bool0320 isfinite 9E-999 -> 1

bool0321 isfinite -9E-999 -> 1

bool0322 isfinite 9E-998 -> 1

bool0323 isfinite -9E-998 -> 1

bool0324 isfinite 9E-100 -> 1

bool0325 isfinite -9E-100 -> 1

bool0326 isfinite 0.000009 -> 1

bool0327 isfinite -0.000009 -> 1

bool0328 isfinite 0.009 -> 1

bool0329 isfinite -0.009 -> 1

bool0330 isfinite 0.09 -> 1

bool0331 isfinite -0.09 -> 1

bool0332 isfinite 0.9 -> 1

bool0333 isfinite -0.9 -> 1

bool0334 isfinite 9 -> 1

bool0335 isfinite -9 -> 1

bool0336 isfinite 9E+1 -> 1

bool0337 isfinite -9E+1 -> 1

bool0338 isfinite 9E+2 -> 1

bool0339 isfinite -9E+2 -> 1

bool0340 isfinite 9E+3 -> 1

bool0341 isfinite -9E+3 -> 1

bool0342 isfinite 9E+6 -> 1

bool0343 isfinite -9E+6 -> 1

bool0344 isfinite 9E+100 -> 1

bool0345 isfinite -9E+100 -> 1

bool0346 isfinite 9E+990 -> 1

bool0347 isfinite -9E+990 -> 1

bool0348 isfinite 9E+991 -> 1

bool0349 isfinite -9E+991 -> 1

bool0350 isfinite 9E+992 -> 1

bool0351 isfinite -9E+992 -> 1

bool0352 isfinite 9E+998 -> 1

bool0353 isfinite -9E+998 -> 1

bool0354 isfinite 9E+999 -> 1

bool0355 isfinite -9E+999 -> 1

bool0356 isfinite 9E+1000 -> 1

bool0357 isfinite -9E+1000 -> 1

bool0358 isfinite 9E+2000 -> 1

bool0359 isfinite -9E+2000 -> 1

bool0360 isfinite 9.99999999E-2000 -> 1

bool0361 isfinite -9.99999999E-2000 -> 1

bool0362 isfinite 9.99999999E-1008 -> 1

bool0363 isfinite -9.99999999E-1008 -> 1

bool0364 isfinite 9.99999999E-1007 -> 1

bool0365 isfinite -9.99999999E-1007 -> 1

bool0366 isfinite 9.99999999E-1006 -> 1