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