float_convd.ref (38241B)
1 ### Rounding to nearest 2 from double: f64(nan:0x007ff4000000000000) 3 to single: f32(nan:0x7fe00000) (INVALID) 4 to int32: 0 (INVALID) 5 to int64: 0 (INVALID) 6 to uint32: 0 (INVALID) 7 to uint64: 0 (INVALID) 8 from double: f64(-nan:0x00fff8000000000000) 9 to single: f32(-nan:0xffc00000) (OK) 10 to int32: 0 (INVALID) 11 to int64: 0 (INVALID) 12 to uint32: 0 (INVALID) 13 to uint64: 0 (INVALID) 14 from double: f64(-inf:0x00fff0000000000000) 15 to single: f32(-inf:0xff800000) (OK) 16 to int32: -2147483648 (INVALID) 17 to int64: -9223372036854775808 (INVALID) 18 to uint32: 0 (INVALID) 19 to uint64: 0 (INVALID) 20 from double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff) 21 to single: f32(-inf:0xff800000) (OVERFLOW INEXACT ) 22 to int32: -2147483648 (INVALID) 23 to int64: -9223372036854775808 (INVALID) 24 to uint32: 0 (INVALID) 25 to uint64: 0 (INVALID) 26 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) 27 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK) 28 to int32: -2147483648 (INVALID) 29 to int64: -9223372036854775808 (INVALID) 30 to uint32: 0 (INVALID) 31 to uint64: 0 (INVALID) 32 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) 33 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK) 34 to int32: -2147483648 (INVALID) 35 to int64: -9223372036854775808 (INVALID) 36 to uint32: 0 (INVALID) 37 to uint64: 0 (INVALID) 38 from double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654) 39 to single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59) (INEXACT ) 40 to int32: -2147483648 (INVALID) 41 to int64: -9223372036854775808 (INVALID) 42 to uint32: 0 (INVALID) 43 to uint64: 0 (INVALID) 44 from double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9) 45 to single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) (INEXACT ) 46 to int32: -2147483648 (INVALID) 47 to int64: -9223372036854775808 (INVALID) 48 to uint32: 0 (INVALID) 49 to uint64: 0 (INVALID) 50 from double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000) 51 to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK) 52 to int32: -2 (OK) 53 to int64: -2 (OK) 54 to uint32: 0 (INVALID) 55 to uint64: 0 (INVALID) 56 from double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000) 57 to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK) 58 to int32: -1 (OK) 59 to int64: -1 (OK) 60 to uint32: 0 (INVALID) 61 to uint64: 0 (INVALID) 62 from double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000) 63 to single: f32(-0x0.00000000000000000000p+0:0x80000000) (UNDERFLOW INEXACT ) 64 to int32: 0 (INEXACT ) 65 to int64: 0 (INEXACT ) 66 to uint32: 0 (INEXACT ) 67 to uint64: 0 (INEXACT ) 68 from double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) 69 to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK) 70 to int32: 0 (INEXACT ) 71 to int64: 0 (INEXACT ) 72 to uint32: 0 (INEXACT ) 73 to uint64: 0 (INEXACT ) 74 from double: f64(0x0.00000000000000000000p+0:00000000000000000000) 75 to single: f32(0x0.00000000000000000000p+0:0000000000) (OK) 76 to int32: 0 (OK) 77 to int64: 0 (OK) 78 to uint32: 0 (OK) 79 to uint64: 0 (OK) 80 from double: f64(0x1.00000000000000000000p-126:0x003810000000000000) 81 to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK) 82 to int32: 0 (INEXACT ) 83 to int64: 0 (INEXACT ) 84 to uint32: 0 (INEXACT ) 85 to uint64: 0 (INEXACT ) 86 from double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68) 87 to single: f32(0x1.00000000000000000000p-25:0x33000000) (INEXACT ) 88 to int32: 0 (INEXACT ) 89 to int64: 0 (INEXACT ) 90 to uint32: 0 (INEXACT ) 91 to uint64: 0 (INEXACT ) 92 from double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82) 93 to single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) (INEXACT ) 94 to int32: 0 (INEXACT ) 95 to int64: 0 (INEXACT ) 96 to uint32: 0 (INEXACT ) 97 to uint64: 0 (INEXACT ) 98 from double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1) 99 to single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) (INEXACT ) 100 to int32: 0 (INEXACT ) 101 to int64: 0 (INEXACT ) 102 to uint32: 0 (INEXACT ) 103 to uint64: 0 (INEXACT ) 104 from double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5) 105 to single: f32(0x1.00000c00000000000000p-14:0x38800006) (INEXACT ) 106 to int32: 0 (INEXACT ) 107 to int64: 0 (INEXACT ) 108 to uint32: 0 (INEXACT ) 109 to uint64: 0 (INEXACT ) 110 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) 111 to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK) 112 to int32: 1 (OK) 113 to int64: 1 (OK) 114 to uint32: 1 (OK) 115 to uint64: 1 (OK) 116 from double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) 117 to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK) 118 to int32: 1 (INEXACT ) 119 to int64: 1 (INEXACT ) 120 to uint32: 1 (INEXACT ) 121 to uint64: 1 (INEXACT ) 122 from double: f64(0x1.00000000000000000000p-1022:0x000010000000000000) 123 to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 124 to int32: 0 (INEXACT ) 125 to int64: 0 (INEXACT ) 126 to uint32: 0 (INEXACT ) 127 to uint64: 0 (INEXACT ) 128 from double: f64(0x0.9ea82a22876800000000p-1022:0x000009ea82a2287680) 129 to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 130 to int32: 0 (INEXACT ) 131 to int64: 0 (INEXACT ) 132 to uint32: 0 (INEXACT ) 133 to uint64: 0 (INEXACT ) 134 from double: f64(0x0.ab98fba8432100000000p-1022:0x00000ab98fba843210) 135 to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 136 to int32: 0 (INEXACT ) 137 to int64: 0 (INEXACT ) 138 to uint32: 0 (INEXACT ) 139 to uint64: 0 (INEXACT ) 140 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) 141 to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK) 142 to int32: 1 (OK) 143 to int64: 1 (OK) 144 to uint32: 1 (OK) 145 to uint64: 1 (OK) 146 from double: f64(0x1.00000000000000000000p+1:0x004000000000000000) 147 to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK) 148 to int32: 2 (OK) 149 to int64: 2 (OK) 150 to uint32: 2 (OK) 151 to uint64: 2 (OK) 152 from double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769) 153 to single: f32(0x1.5bf0a800000000000000p+1:0x402df854) (INEXACT ) 154 to int32: 2 (INEXACT ) 155 to int64: 2 (INEXACT ) 156 to uint32: 2 (INEXACT ) 157 to uint64: 2 (INEXACT ) 158 from double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18) 159 to single: f32(0x1.921fb600000000000000p+1:0x40490fdb) (INEXACT ) 160 to int32: 3 (INEXACT ) 161 to int64: 3 (INEXACT ) 162 to uint32: 3 (INEXACT ) 163 to uint64: 3 (INEXACT ) 164 from double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) 165 to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK) 166 to int32: 65503 (OK) 167 to int64: 65503 (OK) 168 to uint32: 65503 (OK) 169 to uint64: 65503 (OK) 170 from double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) 171 to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK) 172 to int32: 65504 (OK) 173 to int64: 65504 (OK) 174 to uint32: 65504 (OK) 175 to uint64: 65504 (OK) 176 from double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) 177 to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK) 178 to int32: 65505 (OK) 179 to int64: 65505 (OK) 180 to uint32: 65505 (OK) 181 to uint64: 65505 (OK) 182 from double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) 183 to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK) 184 to int32: 131007 (OK) 185 to int64: 131007 (OK) 186 to uint32: 131007 (OK) 187 to uint64: 131007 (OK) 188 from double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) 189 to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK) 190 to int32: 131008 (OK) 191 to int64: 131008 (OK) 192 to uint32: 131008 (OK) 193 to uint64: 131008 (OK) 194 from double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) 195 to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK) 196 to int32: 131009 (OK) 197 to int64: 131009 (OK) 198 to uint32: 131009 (OK) 199 to uint64: 131009 (OK) 200 from double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000) 201 to single: f32(0x1.00000000000000000000p+31:0x4f000000) (INEXACT ) 202 to int32: 2147483647 (OK) 203 to int64: 2147483647 (OK) 204 to uint32: 2147483647 (OK) 205 to uint64: 2147483647 (OK) 206 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) 207 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK) 208 to int32: 2147483647 (INVALID) 209 to int64: 9223372036854775807 (INVALID) 210 to uint32: -1 (INVALID) 211 to uint64: -1 (INVALID) 212 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) 213 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK) 214 to int32: 2147483647 (INVALID) 215 to int64: 9223372036854775807 (INVALID) 216 to uint32: -1 (INVALID) 217 to uint64: -1 (INVALID) 218 from double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff) 219 to single: f32(inf:0x7f800000) (OVERFLOW INEXACT ) 220 to int32: 2147483647 (INVALID) 221 to int64: 9223372036854775807 (INVALID) 222 to uint32: -1 (INVALID) 223 to uint64: -1 (INVALID) 224 from double: f64(inf:0x007ff0000000000000) 225 to single: f32(inf:0x7f800000) (OK) 226 to int32: 2147483647 (INVALID) 227 to int64: 9223372036854775807 (INVALID) 228 to uint32: -1 (INVALID) 229 to uint64: -1 (INVALID) 230 from double: f64(nan:0x007ff8000000000000) 231 to single: f32(nan:0x7fc00000) (OK) 232 to int32: 0 (INVALID) 233 to int64: 0 (INVALID) 234 to uint32: 0 (INVALID) 235 to uint64: 0 (INVALID) 236 from double: f64(nan:0x007ff0000000000001) 237 to single: f32(nan:0x7fc00000) (INVALID) 238 to int32: 0 (INVALID) 239 to int64: 0 (INVALID) 240 to uint32: 0 (INVALID) 241 to uint64: 0 (INVALID) 242 from double: f64(nan:0x007ff4000000000000) 243 to single: f32(nan:0x7fe00000) (INVALID) 244 to int32: 0 (INVALID) 245 to int64: 0 (INVALID) 246 to uint32: 0 (INVALID) 247 to uint64: 0 (INVALID) 248 ### Rounding upwards 249 from double: f64(nan:0x007ff4000000000000) 250 to single: f32(nan:0x7fe00000) (INVALID) 251 to int32: 0 (INVALID) 252 to int64: 0 (INVALID) 253 to uint32: 0 (INVALID) 254 to uint64: 0 (INVALID) 255 from double: f64(-nan:0x00fff8000000000000) 256 to single: f32(-nan:0xffc00000) (OK) 257 to int32: 0 (INVALID) 258 to int64: 0 (INVALID) 259 to uint32: 0 (INVALID) 260 to uint64: 0 (INVALID) 261 from double: f64(-inf:0x00fff0000000000000) 262 to single: f32(-inf:0xff800000) (OK) 263 to int32: -2147483648 (INVALID) 264 to int64: -9223372036854775808 (INVALID) 265 to uint32: 0 (INVALID) 266 to uint64: 0 (INVALID) 267 from double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff) 268 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OVERFLOW INEXACT ) 269 to int32: -2147483648 (INVALID) 270 to int64: -9223372036854775808 (INVALID) 271 to uint32: 0 (INVALID) 272 to uint64: 0 (INVALID) 273 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) 274 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK) 275 to int32: -2147483648 (INVALID) 276 to int64: -9223372036854775808 (INVALID) 277 to uint32: 0 (INVALID) 278 to uint64: 0 (INVALID) 279 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) 280 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK) 281 to int32: -2147483648 (INVALID) 282 to int64: -9223372036854775808 (INVALID) 283 to uint32: 0 (INVALID) 284 to uint64: 0 (INVALID) 285 from double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654) 286 to single: f32(-0x1.1874b000000000000000p+103:0xf30c3a58) (INEXACT ) 287 to int32: -2147483648 (INVALID) 288 to int64: -9223372036854775808 (INVALID) 289 to uint32: 0 (INVALID) 290 to uint64: 0 (INVALID) 291 from double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9) 292 to single: f32(-0x1.c0bab400000000000000p+99:0xf1605d5a) (INEXACT ) 293 to int32: -2147483648 (INVALID) 294 to int64: -9223372036854775808 (INVALID) 295 to uint32: 0 (INVALID) 296 to uint64: 0 (INVALID) 297 from double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000) 298 to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK) 299 to int32: -2 (OK) 300 to int64: -2 (OK) 301 to uint32: 0 (INVALID) 302 to uint64: 0 (INVALID) 303 from double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000) 304 to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK) 305 to int32: -1 (OK) 306 to int64: -1 (OK) 307 to uint32: 0 (INVALID) 308 to uint64: 0 (INVALID) 309 from double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000) 310 to single: f32(-0x0.00000000000000000000p+0:0x80000000) (UNDERFLOW INEXACT ) 311 to int32: 0 (INEXACT ) 312 to int64: 0 (INEXACT ) 313 to uint32: 0 (INEXACT ) 314 to uint64: 0 (INEXACT ) 315 from double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) 316 to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK) 317 to int32: 0 (INEXACT ) 318 to int64: 0 (INEXACT ) 319 to uint32: 0 (INEXACT ) 320 to uint64: 0 (INEXACT ) 321 from double: f64(0x0.00000000000000000000p+0:00000000000000000000) 322 to single: f32(0x0.00000000000000000000p+0:0000000000) (OK) 323 to int32: 0 (OK) 324 to int64: 0 (OK) 325 to uint32: 0 (OK) 326 to uint64: 0 (OK) 327 from double: f64(0x1.00000000000000000000p-126:0x003810000000000000) 328 to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK) 329 to int32: 0 (INEXACT ) 330 to int64: 0 (INEXACT ) 331 to uint32: 0 (INEXACT ) 332 to uint64: 0 (INEXACT ) 333 from double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68) 334 to single: f32(0x1.00000200000000000000p-25:0x33000001) (INEXACT ) 335 to int32: 0 (INEXACT ) 336 to int64: 0 (INEXACT ) 337 to uint32: 0 (INEXACT ) 338 to uint64: 0 (INEXACT ) 339 from double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82) 340 to single: f32(0x1.ffffe800000000000000p-25:0x337ffff4) (INEXACT ) 341 to int32: 0 (INEXACT ) 342 to int64: 0 (INEXACT ) 343 to uint32: 0 (INEXACT ) 344 to uint64: 0 (INEXACT ) 345 from double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1) 346 to single: f32(0x1.ff801c00000000000000p-15:0x387fc00e) (INEXACT ) 347 to int32: 0 (INEXACT ) 348 to int64: 0 (INEXACT ) 349 to uint32: 0 (INEXACT ) 350 to uint64: 0 (INEXACT ) 351 from double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5) 352 to single: f32(0x1.00000e00000000000000p-14:0x38800007) (INEXACT ) 353 to int32: 0 (INEXACT ) 354 to int64: 0 (INEXACT ) 355 to uint32: 0 (INEXACT ) 356 to uint64: 0 (INEXACT ) 357 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) 358 to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK) 359 to int32: 1 (OK) 360 to int64: 1 (OK) 361 to uint32: 1 (OK) 362 to uint64: 1 (OK) 363 from double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) 364 to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK) 365 to int32: 1 (INEXACT ) 366 to int64: 1 (INEXACT ) 367 to uint32: 1 (INEXACT ) 368 to uint64: 1 (INEXACT ) 369 from double: f64(0x1.00000000000000000000p-1022:0x000010000000000000) 370 to single: f32(0x1.00000000000000000000p-149:0x00000001) (UNDERFLOW INEXACT ) 371 to int32: 0 (INEXACT ) 372 to int64: 0 (INEXACT ) 373 to uint32: 0 (INEXACT ) 374 to uint64: 0 (INEXACT ) 375 from double: f64(0x0.9ea82a22876800000000p-1022:0x000009ea82a2287680) 376 to single: f32(0x1.00000000000000000000p-149:0x00000001) (UNDERFLOW INEXACT ) 377 to int32: 0 (INEXACT ) 378 to int64: 0 (INEXACT ) 379 to uint32: 0 (INEXACT ) 380 to uint64: 0 (INEXACT ) 381 from double: f64(0x0.ab98fba8432100000000p-1022:0x00000ab98fba843210) 382 to single: f32(0x1.00000000000000000000p-149:0x00000001) (UNDERFLOW INEXACT ) 383 to int32: 0 (INEXACT ) 384 to int64: 0 (INEXACT ) 385 to uint32: 0 (INEXACT ) 386 to uint64: 0 (INEXACT ) 387 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) 388 to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK) 389 to int32: 1 (OK) 390 to int64: 1 (OK) 391 to uint32: 1 (OK) 392 to uint64: 1 (OK) 393 from double: f64(0x1.00000000000000000000p+1:0x004000000000000000) 394 to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK) 395 to int32: 2 (OK) 396 to int64: 2 (OK) 397 to uint32: 2 (OK) 398 to uint64: 2 (OK) 399 from double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769) 400 to single: f32(0x1.5bf0aa00000000000000p+1:0x402df855) (INEXACT ) 401 to int32: 2 (INEXACT ) 402 to int64: 2 (INEXACT ) 403 to uint32: 2 (INEXACT ) 404 to uint64: 2 (INEXACT ) 405 from double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18) 406 to single: f32(0x1.921fb600000000000000p+1:0x40490fdb) (INEXACT ) 407 to int32: 3 (INEXACT ) 408 to int64: 3 (INEXACT ) 409 to uint32: 3 (INEXACT ) 410 to uint64: 3 (INEXACT ) 411 from double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) 412 to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK) 413 to int32: 65503 (OK) 414 to int64: 65503 (OK) 415 to uint32: 65503 (OK) 416 to uint64: 65503 (OK) 417 from double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) 418 to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK) 419 to int32: 65504 (OK) 420 to int64: 65504 (OK) 421 to uint32: 65504 (OK) 422 to uint64: 65504 (OK) 423 from double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) 424 to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK) 425 to int32: 65505 (OK) 426 to int64: 65505 (OK) 427 to uint32: 65505 (OK) 428 to uint64: 65505 (OK) 429 from double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) 430 to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK) 431 to int32: 131007 (OK) 432 to int64: 131007 (OK) 433 to uint32: 131007 (OK) 434 to uint64: 131007 (OK) 435 from double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) 436 to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK) 437 to int32: 131008 (OK) 438 to int64: 131008 (OK) 439 to uint32: 131008 (OK) 440 to uint64: 131008 (OK) 441 from double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) 442 to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK) 443 to int32: 131009 (OK) 444 to int64: 131009 (OK) 445 to uint32: 131009 (OK) 446 to uint64: 131009 (OK) 447 from double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000) 448 to single: f32(0x1.00000000000000000000p+31:0x4f000000) (INEXACT ) 449 to int32: 2147483647 (OK) 450 to int64: 2147483647 (OK) 451 to uint32: 2147483647 (OK) 452 to uint64: 2147483647 (OK) 453 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) 454 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK) 455 to int32: 2147483647 (INVALID) 456 to int64: 9223372036854775807 (INVALID) 457 to uint32: -1 (INVALID) 458 to uint64: -1 (INVALID) 459 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) 460 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK) 461 to int32: 2147483647 (INVALID) 462 to int64: 9223372036854775807 (INVALID) 463 to uint32: -1 (INVALID) 464 to uint64: -1 (INVALID) 465 from double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff) 466 to single: f32(inf:0x7f800000) (OVERFLOW INEXACT ) 467 to int32: 2147483647 (INVALID) 468 to int64: 9223372036854775807 (INVALID) 469 to uint32: -1 (INVALID) 470 to uint64: -1 (INVALID) 471 from double: f64(inf:0x007ff0000000000000) 472 to single: f32(inf:0x7f800000) (OK) 473 to int32: 2147483647 (INVALID) 474 to int64: 9223372036854775807 (INVALID) 475 to uint32: -1 (INVALID) 476 to uint64: -1 (INVALID) 477 from double: f64(nan:0x007ff8000000000000) 478 to single: f32(nan:0x7fc00000) (OK) 479 to int32: 0 (INVALID) 480 to int64: 0 (INVALID) 481 to uint32: 0 (INVALID) 482 to uint64: 0 (INVALID) 483 from double: f64(nan:0x007ff0000000000001) 484 to single: f32(nan:0x7fc00000) (INVALID) 485 to int32: 0 (INVALID) 486 to int64: 0 (INVALID) 487 to uint32: 0 (INVALID) 488 to uint64: 0 (INVALID) 489 from double: f64(nan:0x007ff4000000000000) 490 to single: f32(nan:0x7fe00000) (INVALID) 491 to int32: 0 (INVALID) 492 to int64: 0 (INVALID) 493 to uint32: 0 (INVALID) 494 to uint64: 0 (INVALID) 495 ### Rounding downwards 496 from double: f64(nan:0x007ff4000000000000) 497 to single: f32(nan:0x7fe00000) (INVALID) 498 to int32: 0 (INVALID) 499 to int64: 0 (INVALID) 500 to uint32: 0 (INVALID) 501 to uint64: 0 (INVALID) 502 from double: f64(-nan:0x00fff8000000000000) 503 to single: f32(-nan:0xffc00000) (OK) 504 to int32: 0 (INVALID) 505 to int64: 0 (INVALID) 506 to uint32: 0 (INVALID) 507 to uint64: 0 (INVALID) 508 from double: f64(-inf:0x00fff0000000000000) 509 to single: f32(-inf:0xff800000) (OK) 510 to int32: -2147483648 (INVALID) 511 to int64: -9223372036854775808 (INVALID) 512 to uint32: 0 (INVALID) 513 to uint64: 0 (INVALID) 514 from double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff) 515 to single: f32(-inf:0xff800000) (OVERFLOW INEXACT ) 516 to int32: -2147483648 (INVALID) 517 to int64: -9223372036854775808 (INVALID) 518 to uint32: 0 (INVALID) 519 to uint64: 0 (INVALID) 520 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) 521 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK) 522 to int32: -2147483648 (INVALID) 523 to int64: -9223372036854775808 (INVALID) 524 to uint32: 0 (INVALID) 525 to uint64: 0 (INVALID) 526 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) 527 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK) 528 to int32: -2147483648 (INVALID) 529 to int64: -9223372036854775808 (INVALID) 530 to uint32: 0 (INVALID) 531 to uint64: 0 (INVALID) 532 from double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654) 533 to single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59) (INEXACT ) 534 to int32: -2147483648 (INVALID) 535 to int64: -9223372036854775808 (INVALID) 536 to uint32: 0 (INVALID) 537 to uint64: 0 (INVALID) 538 from double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9) 539 to single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b) (INEXACT ) 540 to int32: -2147483648 (INVALID) 541 to int64: -9223372036854775808 (INVALID) 542 to uint32: 0 (INVALID) 543 to uint64: 0 (INVALID) 544 from double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000) 545 to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK) 546 to int32: -2 (OK) 547 to int64: -2 (OK) 548 to uint32: 0 (INVALID) 549 to uint64: 0 (INVALID) 550 from double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000) 551 to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK) 552 to int32: -1 (OK) 553 to int64: -1 (OK) 554 to uint32: 0 (INVALID) 555 to uint64: 0 (INVALID) 556 from double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000) 557 to single: f32(-0x1.00000000000000000000p-149:0x80000001) (UNDERFLOW INEXACT ) 558 to int32: 0 (INEXACT ) 559 to int64: 0 (INEXACT ) 560 to uint32: 0 (INEXACT ) 561 to uint64: 0 (INEXACT ) 562 from double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) 563 to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK) 564 to int32: 0 (INEXACT ) 565 to int64: 0 (INEXACT ) 566 to uint32: 0 (INEXACT ) 567 to uint64: 0 (INEXACT ) 568 from double: f64(0x0.00000000000000000000p+0:00000000000000000000) 569 to single: f32(0x0.00000000000000000000p+0:0000000000) (OK) 570 to int32: 0 (OK) 571 to int64: 0 (OK) 572 to uint32: 0 (OK) 573 to uint64: 0 (OK) 574 from double: f64(0x1.00000000000000000000p-126:0x003810000000000000) 575 to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK) 576 to int32: 0 (INEXACT ) 577 to int64: 0 (INEXACT ) 578 to uint32: 0 (INEXACT ) 579 to uint64: 0 (INEXACT ) 580 from double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68) 581 to single: f32(0x1.00000000000000000000p-25:0x33000000) (INEXACT ) 582 to int32: 0 (INEXACT ) 583 to int64: 0 (INEXACT ) 584 to uint32: 0 (INEXACT ) 585 to uint64: 0 (INEXACT ) 586 from double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82) 587 to single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) (INEXACT ) 588 to int32: 0 (INEXACT ) 589 to int64: 0 (INEXACT ) 590 to uint32: 0 (INEXACT ) 591 to uint64: 0 (INEXACT ) 592 from double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1) 593 to single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) (INEXACT ) 594 to int32: 0 (INEXACT ) 595 to int64: 0 (INEXACT ) 596 to uint32: 0 (INEXACT ) 597 to uint64: 0 (INEXACT ) 598 from double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5) 599 to single: f32(0x1.00000c00000000000000p-14:0x38800006) (INEXACT ) 600 to int32: 0 (INEXACT ) 601 to int64: 0 (INEXACT ) 602 to uint32: 0 (INEXACT ) 603 to uint64: 0 (INEXACT ) 604 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) 605 to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK) 606 to int32: 1 (OK) 607 to int64: 1 (OK) 608 to uint32: 1 (OK) 609 to uint64: 1 (OK) 610 from double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) 611 to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK) 612 to int32: 1 (INEXACT ) 613 to int64: 1 (INEXACT ) 614 to uint32: 1 (INEXACT ) 615 to uint64: 1 (INEXACT ) 616 from double: f64(0x1.00000000000000000000p-1022:0x000010000000000000) 617 to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 618 to int32: 0 (INEXACT ) 619 to int64: 0 (INEXACT ) 620 to uint32: 0 (INEXACT ) 621 to uint64: 0 (INEXACT ) 622 from double: f64(0x0.9ea82a22876800000000p-1022:0x000009ea82a2287680) 623 to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 624 to int32: 0 (INEXACT ) 625 to int64: 0 (INEXACT ) 626 to uint32: 0 (INEXACT ) 627 to uint64: 0 (INEXACT ) 628 from double: f64(0x0.ab98fba8432100000000p-1022:0x00000ab98fba843210) 629 to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 630 to int32: 0 (INEXACT ) 631 to int64: 0 (INEXACT ) 632 to uint32: 0 (INEXACT ) 633 to uint64: 0 (INEXACT ) 634 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) 635 to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK) 636 to int32: 1 (OK) 637 to int64: 1 (OK) 638 to uint32: 1 (OK) 639 to uint64: 1 (OK) 640 from double: f64(0x1.00000000000000000000p+1:0x004000000000000000) 641 to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK) 642 to int32: 2 (OK) 643 to int64: 2 (OK) 644 to uint32: 2 (OK) 645 to uint64: 2 (OK) 646 from double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769) 647 to single: f32(0x1.5bf0a800000000000000p+1:0x402df854) (INEXACT ) 648 to int32: 2 (INEXACT ) 649 to int64: 2 (INEXACT ) 650 to uint32: 2 (INEXACT ) 651 to uint64: 2 (INEXACT ) 652 from double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18) 653 to single: f32(0x1.921fb400000000000000p+1:0x40490fda) (INEXACT ) 654 to int32: 3 (INEXACT ) 655 to int64: 3 (INEXACT ) 656 to uint32: 3 (INEXACT ) 657 to uint64: 3 (INEXACT ) 658 from double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) 659 to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK) 660 to int32: 65503 (OK) 661 to int64: 65503 (OK) 662 to uint32: 65503 (OK) 663 to uint64: 65503 (OK) 664 from double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) 665 to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK) 666 to int32: 65504 (OK) 667 to int64: 65504 (OK) 668 to uint32: 65504 (OK) 669 to uint64: 65504 (OK) 670 from double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) 671 to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK) 672 to int32: 65505 (OK) 673 to int64: 65505 (OK) 674 to uint32: 65505 (OK) 675 to uint64: 65505 (OK) 676 from double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) 677 to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK) 678 to int32: 131007 (OK) 679 to int64: 131007 (OK) 680 to uint32: 131007 (OK) 681 to uint64: 131007 (OK) 682 from double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) 683 to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK) 684 to int32: 131008 (OK) 685 to int64: 131008 (OK) 686 to uint32: 131008 (OK) 687 to uint64: 131008 (OK) 688 from double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) 689 to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK) 690 to int32: 131009 (OK) 691 to int64: 131009 (OK) 692 to uint32: 131009 (OK) 693 to uint64: 131009 (OK) 694 from double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000) 695 to single: f32(0x1.fffffe00000000000000p+30:0x4effffff) (INEXACT ) 696 to int32: 2147483647 (OK) 697 to int64: 2147483647 (OK) 698 to uint32: 2147483647 (OK) 699 to uint64: 2147483647 (OK) 700 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) 701 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK) 702 to int32: 2147483647 (INVALID) 703 to int64: 9223372036854775807 (INVALID) 704 to uint32: -1 (INVALID) 705 to uint64: -1 (INVALID) 706 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) 707 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK) 708 to int32: 2147483647 (INVALID) 709 to int64: 9223372036854775807 (INVALID) 710 to uint32: -1 (INVALID) 711 to uint64: -1 (INVALID) 712 from double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff) 713 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OVERFLOW INEXACT ) 714 to int32: 2147483647 (INVALID) 715 to int64: 9223372036854775807 (INVALID) 716 to uint32: -1 (INVALID) 717 to uint64: -1 (INVALID) 718 from double: f64(inf:0x007ff0000000000000) 719 to single: f32(inf:0x7f800000) (OK) 720 to int32: 2147483647 (INVALID) 721 to int64: 9223372036854775807 (INVALID) 722 to uint32: -1 (INVALID) 723 to uint64: -1 (INVALID) 724 from double: f64(nan:0x007ff8000000000000) 725 to single: f32(nan:0x7fc00000) (OK) 726 to int32: 0 (INVALID) 727 to int64: 0 (INVALID) 728 to uint32: 0 (INVALID) 729 to uint64: 0 (INVALID) 730 from double: f64(nan:0x007ff0000000000001) 731 to single: f32(nan:0x7fc00000) (INVALID) 732 to int32: 0 (INVALID) 733 to int64: 0 (INVALID) 734 to uint32: 0 (INVALID) 735 to uint64: 0 (INVALID) 736 from double: f64(nan:0x007ff4000000000000) 737 to single: f32(nan:0x7fe00000) (INVALID) 738 to int32: 0 (INVALID) 739 to int64: 0 (INVALID) 740 to uint32: 0 (INVALID) 741 to uint64: 0 (INVALID) 742 ### Rounding to zero 743 from double: f64(nan:0x007ff4000000000000) 744 to single: f32(nan:0x7fe00000) (INVALID) 745 to int32: 0 (INVALID) 746 to int64: 0 (INVALID) 747 to uint32: 0 (INVALID) 748 to uint64: 0 (INVALID) 749 from double: f64(-nan:0x00fff8000000000000) 750 to single: f32(-nan:0xffc00000) (OK) 751 to int32: 0 (INVALID) 752 to int64: 0 (INVALID) 753 to uint32: 0 (INVALID) 754 to uint64: 0 (INVALID) 755 from double: f64(-inf:0x00fff0000000000000) 756 to single: f32(-inf:0xff800000) (OK) 757 to int32: -2147483648 (INVALID) 758 to int64: -9223372036854775808 (INVALID) 759 to uint32: 0 (INVALID) 760 to uint64: 0 (INVALID) 761 from double: f64(-0x1.fffffffffffff0000000p+1023:0x00ffefffffffffffff) 762 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OVERFLOW INEXACT ) 763 to int32: -2147483648 (INVALID) 764 to int64: -9223372036854775808 (INVALID) 765 to uint32: 0 (INVALID) 766 to uint64: 0 (INVALID) 767 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) 768 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK) 769 to int32: -2147483648 (INVALID) 770 to int64: -9223372036854775808 (INVALID) 771 to uint32: 0 (INVALID) 772 to uint64: 0 (INVALID) 773 from double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) 774 to single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff) (OK) 775 to int32: -2147483648 (INVALID) 776 to int64: -9223372036854775808 (INVALID) 777 to uint32: 0 (INVALID) 778 to uint64: 0 (INVALID) 779 from double: f64(-0x1.1874b135ff6540000000p+103:0x00c661874b135ff654) 780 to single: f32(-0x1.1874b000000000000000p+103:0xf30c3a58) (INEXACT ) 781 to int32: -2147483648 (INVALID) 782 to int64: -9223372036854775808 (INVALID) 783 to uint32: 0 (INVALID) 784 to uint64: 0 (INVALID) 785 from double: f64(-0x1.c0bab523323b90000000p+99:0x00c62c0bab523323b9) 786 to single: f32(-0x1.c0bab400000000000000p+99:0xf1605d5a) (INEXACT ) 787 to int32: -2147483648 (INVALID) 788 to int64: -9223372036854775808 (INVALID) 789 to uint32: 0 (INVALID) 790 to uint64: 0 (INVALID) 791 from double: f64(-0x1.00000000000000000000p+1:0x00c000000000000000) 792 to single: f32(-0x1.00000000000000000000p+1:0xc0000000) (OK) 793 to int32: -2 (OK) 794 to int64: -2 (OK) 795 to uint32: 0 (INVALID) 796 to uint64: 0 (INVALID) 797 from double: f64(-0x1.00000000000000000000p+0:0x00bff0000000000000) 798 to single: f32(-0x1.00000000000000000000p+0:0xbf800000) (OK) 799 to int32: -1 (OK) 800 to int64: -1 (OK) 801 to uint32: 0 (INVALID) 802 to uint64: 0 (INVALID) 803 from double: f64(-0x1.00000000000000000000p-1022:0x008010000000000000) 804 to single: f32(-0x0.00000000000000000000p+0:0x80000000) (UNDERFLOW INEXACT ) 805 to int32: 0 (INEXACT ) 806 to int64: 0 (INEXACT ) 807 to uint32: 0 (INEXACT ) 808 to uint64: 0 (INEXACT ) 809 from double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) 810 to single: f32(-0x1.00000000000000000000p-126:0x80800000) (OK) 811 to int32: 0 (INEXACT ) 812 to int64: 0 (INEXACT ) 813 to uint32: 0 (INEXACT ) 814 to uint64: 0 (INEXACT ) 815 from double: f64(0x0.00000000000000000000p+0:00000000000000000000) 816 to single: f32(0x0.00000000000000000000p+0:0000000000) (OK) 817 to int32: 0 (OK) 818 to int64: 0 (OK) 819 to uint32: 0 (OK) 820 to uint64: 0 (OK) 821 from double: f64(0x1.00000000000000000000p-126:0x003810000000000000) 822 to single: f32(0x1.00000000000000000000p-126:0x00800000) (OK) 823 to int32: 0 (INEXACT ) 824 to int64: 0 (INEXACT ) 825 to uint32: 0 (INEXACT ) 826 to uint64: 0 (INEXACT ) 827 from double: f64(0x1.00000001c5f680000000p-25:0x003e600000001c5f68) 828 to single: f32(0x1.00000000000000000000p-25:0x33000000) (INEXACT ) 829 to int32: 0 (INEXACT ) 830 to int64: 0 (INEXACT ) 831 to uint32: 0 (INEXACT ) 832 to uint64: 0 (INEXACT ) 833 from double: f64(0x1.ffffe6cb2fa820000000p-25:0x003e6ffffe6cb2fa82) 834 to single: f32(0x1.ffffe600000000000000p-25:0x337ffff3) (INEXACT ) 835 to int32: 0 (INEXACT ) 836 to int64: 0 (INEXACT ) 837 to uint32: 0 (INEXACT ) 838 to uint64: 0 (INEXACT ) 839 from double: f64(0x1.ff801a9af58a10000000p-15:0x003f0ff801a9af58a1) 840 to single: f32(0x1.ff801a00000000000000p-15:0x387fc00d) (INEXACT ) 841 to int32: 0 (INEXACT ) 842 to int64: 0 (INEXACT ) 843 to uint32: 0 (INEXACT ) 844 to uint64: 0 (INEXACT ) 845 from double: f64(0x1.00000c06a1ef50000000p-14:0x003f100000c06a1ef5) 846 to single: f32(0x1.00000c00000000000000p-14:0x38800006) (INEXACT ) 847 to int32: 0 (INEXACT ) 848 to int64: 0 (INEXACT ) 849 to uint32: 0 (INEXACT ) 850 to uint64: 0 (INEXACT ) 851 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) 852 to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK) 853 to int32: 1 (OK) 854 to int64: 1 (OK) 855 to uint32: 1 (OK) 856 to uint64: 1 (OK) 857 from double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) 858 to single: f32(0x1.00400000000000000000p+0:0x3f802000) (OK) 859 to int32: 1 (INEXACT ) 860 to int64: 1 (INEXACT ) 861 to uint32: 1 (INEXACT ) 862 to uint64: 1 (INEXACT ) 863 from double: f64(0x1.00000000000000000000p-1022:0x000010000000000000) 864 to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 865 to int32: 0 (INEXACT ) 866 to int64: 0 (INEXACT ) 867 to uint32: 0 (INEXACT ) 868 to uint64: 0 (INEXACT ) 869 from double: f64(0x0.9ea82a22876800000000p-1022:0x000009ea82a2287680) 870 to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 871 to int32: 0 (INEXACT ) 872 to int64: 0 (INEXACT ) 873 to uint32: 0 (INEXACT ) 874 to uint64: 0 (INEXACT ) 875 from double: f64(0x0.ab98fba8432100000000p-1022:0x00000ab98fba843210) 876 to single: f32(0x0.00000000000000000000p+0:0000000000) (UNDERFLOW INEXACT ) 877 to int32: 0 (INEXACT ) 878 to int64: 0 (INEXACT ) 879 to uint32: 0 (INEXACT ) 880 to uint64: 0 (INEXACT ) 881 from double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) 882 to single: f32(0x1.00000000000000000000p+0:0x3f800000) (OK) 883 to int32: 1 (OK) 884 to int64: 1 (OK) 885 to uint32: 1 (OK) 886 to uint64: 1 (OK) 887 from double: f64(0x1.00000000000000000000p+1:0x004000000000000000) 888 to single: f32(0x1.00000000000000000000p+1:0x40000000) (OK) 889 to int32: 2 (OK) 890 to int64: 2 (OK) 891 to uint32: 2 (OK) 892 to uint64: 2 (OK) 893 from double: f64(0x1.5bf0a8b1457690000000p+1:0x004005bf0a8b145769) 894 to single: f32(0x1.5bf0a800000000000000p+1:0x402df854) (INEXACT ) 895 to int32: 2 (INEXACT ) 896 to int64: 2 (INEXACT ) 897 to uint32: 2 (INEXACT ) 898 to uint64: 2 (INEXACT ) 899 from double: f64(0x1.921fb54442d180000000p+1:0x00400921fb54442d18) 900 to single: f32(0x1.921fb400000000000000p+1:0x40490fda) (INEXACT ) 901 to int32: 3 (INEXACT ) 902 to int64: 3 (INEXACT ) 903 to uint32: 3 (INEXACT ) 904 to uint64: 3 (INEXACT ) 905 from double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) 906 to single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00) (OK) 907 to int32: 65503 (OK) 908 to int64: 65503 (OK) 909 to uint32: 65503 (OK) 910 to uint64: 65503 (OK) 911 from double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) 912 to single: f32(0x1.ffc00000000000000000p+15:0x477fe000) (OK) 913 to int32: 65504 (OK) 914 to int64: 65504 (OK) 915 to uint32: 65504 (OK) 916 to uint64: 65504 (OK) 917 from double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) 918 to single: f32(0x1.ffc20000000000000000p+15:0x477fe100) (OK) 919 to int32: 65505 (OK) 920 to int64: 65505 (OK) 921 to uint32: 65505 (OK) 922 to uint64: 65505 (OK) 923 from double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) 924 to single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80) (OK) 925 to int32: 131007 (OK) 926 to int64: 131007 (OK) 927 to uint32: 131007 (OK) 928 to uint64: 131007 (OK) 929 from double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) 930 to single: f32(0x1.ffc00000000000000000p+16:0x47ffe000) (OK) 931 to int32: 131008 (OK) 932 to int64: 131008 (OK) 933 to uint32: 131008 (OK) 934 to uint64: 131008 (OK) 935 from double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) 936 to single: f32(0x1.ffc10000000000000000p+16:0x47ffe080) (OK) 937 to int32: 131009 (OK) 938 to int64: 131009 (OK) 939 to uint32: 131009 (OK) 940 to uint64: 131009 (OK) 941 from double: f64(0x1.fffffffc000000000000p+30:0x0041dfffffffc00000) 942 to single: f32(0x1.fffffe00000000000000p+30:0x4effffff) (INEXACT ) 943 to int32: 2147483647 (OK) 944 to int64: 2147483647 (OK) 945 to uint32: 2147483647 (OK) 946 to uint64: 2147483647 (OK) 947 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) 948 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK) 949 to int32: 2147483647 (INVALID) 950 to int64: 9223372036854775807 (INVALID) 951 to uint32: -1 (INVALID) 952 to uint64: -1 (INVALID) 953 from double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) 954 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OK) 955 to int32: 2147483647 (INVALID) 956 to int64: 9223372036854775807 (INVALID) 957 to uint32: -1 (INVALID) 958 to uint64: -1 (INVALID) 959 from double: f64(0x1.fffffffffffff0000000p+1023:0x007fefffffffffffff) 960 to single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff) (OVERFLOW INEXACT ) 961 to int32: 2147483647 (INVALID) 962 to int64: 9223372036854775807 (INVALID) 963 to uint32: -1 (INVALID) 964 to uint64: -1 (INVALID) 965 from double: f64(inf:0x007ff0000000000000) 966 to single: f32(inf:0x7f800000) (OK) 967 to int32: 2147483647 (INVALID) 968 to int64: 9223372036854775807 (INVALID) 969 to uint32: -1 (INVALID) 970 to uint64: -1 (INVALID) 971 from double: f64(nan:0x007ff8000000000000) 972 to single: f32(nan:0x7fc00000) (OK) 973 to int32: 0 (INVALID) 974 to int64: 0 (INVALID) 975 to uint32: 0 (INVALID) 976 to uint64: 0 (INVALID) 977 from double: f64(nan:0x007ff0000000000001) 978 to single: f32(nan:0x7fc00000) (INVALID) 979 to int32: 0 (INVALID) 980 to int64: 0 (INVALID) 981 to uint32: 0 (INVALID) 982 to uint64: 0 (INVALID) 983 from double: f64(nan:0x007ff4000000000000) 984 to single: f32(nan:0x7fe00000) (INVALID) 985 to int32: 0 (INVALID) 986 to int64: 0 (INVALID) 987 to uint32: 0 (INVALID) 988 to uint64: 0 (INVALID)