Lines Matching +full:0 +full:x33000000
2 from single: f32(-nan:0xffa00000)
3 to double: f64(-nan:0x00ffffffffffffffff) (INVALID)
8 from single: f32(-nan:0xffc00000)
9 to double: f64(-nan:0x00ffffffffffffffff) (OK)
14 from single: f32(-inf:0xff800000)
15 to double: f64(-inf:0x00fff0000000000000) (OK)
18 to uint32: 0 (INVALID)
19 to uint64: 0 (INVALID)
20 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
21 to double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
24 to uint32: 0 (INVALID)
25 to uint64: 0 (INVALID)
26 from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59)
27 to double: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (OK)
30 to uint32: 0 (INVALID)
31 to uint64: 0 (INVALID)
32 from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)
33 to double: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (OK)
36 to uint32: 0 (INVALID)
37 to uint64: 0 (INVALID)
38 from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8)
39 to double: f64(-0x1.31f75000000000000000p-40:0x00bd731f7500000000) (OK)
40 to int32: 0 (INEXACT )
41 to int64: 0 (INEXACT )
42 to uint32: 0 (INVALID)
43 to uint64: 0 (INVALID)
44 from single: f32(-0x1.50544400000000000000p-66:0x9ea82a22)
45 to double: f64(-0x1.50544400000000000000p-66:0x00bbd5054440000000) (OK)
46 to int32: 0 (INEXACT )
47 to int64: 0 (INEXACT )
48 to uint32: 0 (INVALID)
49 to uint64: 0 (INVALID)
50 from single: f32(-0x1.00000000000000000000p-126:0x80800000)
51 to double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK)
52 to int32: 0 (INEXACT )
53 to int64: 0 (INEXACT )
54 to uint32: 0 (INVALID)
55 to uint64: 0 (INVALID)
56 from single: f32(0x0.00000000000000000000p+0:0000000000)
57 to double: f64(0x0.00000000000000000000p+0:00000000000000000000) (OK)
58 to int32: 0 (OK)
59 to int64: 0 (OK)
60 to uint32: 0 (OK)
61 to uint64: 0 (OK)
62 from single: f32(0x1.00000000000000000000p-126:0x00800000)
63 to double: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK)
64 to int32: 0 (INEXACT )
65 to int64: 0 (INEXACT )
66 to uint32: 0 (INEXACT )
67 to uint64: 0 (INEXACT )
68 from single: f32(0x1.00000000000000000000p-25:0x33000000)
69 to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK)
70 to int32: 0 (INEXACT )
71 to int64: 0 (INEXACT )
72 to uint32: 0 (INEXACT )
73 to uint64: 0 (INEXACT )
74 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
75 to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (OK)
76 to int32: 0 (INEXACT )
77 to int64: 0 (INEXACT )
78 to uint32: 0 (INEXACT )
79 to uint64: 0 (INEXACT )
80 from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d)
81 to double: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (OK)
82 to int32: 0 (INEXACT )
83 to int64: 0 (INEXACT )
84 to uint32: 0 (INEXACT )
85 to uint64: 0 (INEXACT )
86 from single: f32(0x1.00000c00000000000000p-14:0x38800006)
87 to double: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (OK)
88 to int32: 0 (INEXACT )
89 to int64: 0 (INEXACT )
90 to uint32: 0 (INEXACT )
91 to uint64: 0 (INEXACT )
92 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
93 to double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
98 from single: f32(0x1.00400000000000000000p+0:0x3f802000)
99 to double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (OK)
104 from single: f32(0x1.00000000000000000000p+1:0x40000000)
105 to double: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK)
110 from single: f32(0x1.5bf0a800000000000000p+1:0x402df854)
111 to double: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (OK)
116 from single: f32(0x1.921fb600000000000000p+1:0x40490fdb)
117 to double: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (OK)
122 from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00)
123 to double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (OK)
128 from single: f32(0x1.ffc00000000000000000p+15:0x477fe000)
129 to double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (OK)
134 from single: f32(0x1.ffc20000000000000000p+15:0x477fe100)
135 to double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (OK)
140 from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80)
141 to double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (OK)
146 from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000)
147 to double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (OK)
152 from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080)
153 to double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (OK)
158 from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b)
159 to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (OK)
164 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
165 to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
170 from single: f32(inf:0x7f800000)
171 to double: f64(inf:0x007ff0000000000000) (OK)
176 from single: f32(-nan:0x7fc00000)
177 to double: f64(-nan:0x00ffffffffffffffff) (OK)
182 from single: f32(-nan:0x7fa00000)
183 to double: f64(-nan:0x00ffffffffffffffff) (INVALID)
189 from single: f32(-nan:0xffa00000)
190 to double: f64(-nan:0x00ffffffffffffffff) (INVALID)
195 from single: f32(-nan:0xffc00000)
196 to double: f64(-nan:0x00ffffffffffffffff) (OK)
201 from single: f32(-inf:0xff800000)
202 to double: f64(-inf:0x00fff0000000000000) (OK)
205 to uint32: 0 (INVALID)
206 to uint64: 0 (INVALID)
207 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
208 to double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
211 to uint32: 0 (INVALID)
212 to uint64: 0 (INVALID)
213 from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59)
214 to double: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (OK)
217 to uint32: 0 (INVALID)
218 to uint64: 0 (INVALID)
219 from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)
220 to double: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (OK)
223 to uint32: 0 (INVALID)
224 to uint64: 0 (INVALID)
225 from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8)
226 to double: f64(-0x1.31f75000000000000000p-40:0x00bd731f7500000000) (OK)
227 to int32: 0 (INEXACT )
228 to int64: 0 (INEXACT )
229 to uint32: 0 (INVALID)
230 to uint64: 0 (INVALID)
231 from single: f32(-0x1.50544400000000000000p-66:0x9ea82a22)
232 to double: f64(-0x1.50544400000000000000p-66:0x00bbd5054440000000) (OK)
233 to int32: 0 (INEXACT )
234 to int64: 0 (INEXACT )
235 to uint32: 0 (INVALID)
236 to uint64: 0 (INVALID)
237 from single: f32(-0x1.00000000000000000000p-126:0x80800000)
238 to double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK)
239 to int32: 0 (INEXACT )
240 to int64: 0 (INEXACT )
241 to uint32: 0 (INVALID)
242 to uint64: 0 (INVALID)
243 from single: f32(0x0.00000000000000000000p+0:0000000000)
244 to double: f64(0x0.00000000000000000000p+0:00000000000000000000) (OK)
245 to int32: 0 (OK)
246 to int64: 0 (OK)
247 to uint32: 0 (OK)
248 to uint64: 0 (OK)
249 from single: f32(0x1.00000000000000000000p-126:0x00800000)
250 to double: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK)
251 to int32: 0 (INEXACT )
252 to int64: 0 (INEXACT )
253 to uint32: 0 (INEXACT )
254 to uint64: 0 (INEXACT )
255 from single: f32(0x1.00000000000000000000p-25:0x33000000)
256 to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK)
257 to int32: 0 (INEXACT )
258 to int64: 0 (INEXACT )
259 to uint32: 0 (INEXACT )
260 to uint64: 0 (INEXACT )
261 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
262 to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (OK)
263 to int32: 0 (INEXACT )
264 to int64: 0 (INEXACT )
265 to uint32: 0 (INEXACT )
266 to uint64: 0 (INEXACT )
267 from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d)
268 to double: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (OK)
269 to int32: 0 (INEXACT )
270 to int64: 0 (INEXACT )
271 to uint32: 0 (INEXACT )
272 to uint64: 0 (INEXACT )
273 from single: f32(0x1.00000c00000000000000p-14:0x38800006)
274 to double: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (OK)
275 to int32: 0 (INEXACT )
276 to int64: 0 (INEXACT )
277 to uint32: 0 (INEXACT )
278 to uint64: 0 (INEXACT )
279 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
280 to double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
285 from single: f32(0x1.00400000000000000000p+0:0x3f802000)
286 to double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (OK)
291 from single: f32(0x1.00000000000000000000p+1:0x40000000)
292 to double: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK)
297 from single: f32(0x1.5bf0a800000000000000p+1:0x402df854)
298 to double: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (OK)
303 from single: f32(0x1.921fb600000000000000p+1:0x40490fdb)
304 to double: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (OK)
309 from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00)
310 to double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (OK)
315 from single: f32(0x1.ffc00000000000000000p+15:0x477fe000)
316 to double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (OK)
321 from single: f32(0x1.ffc20000000000000000p+15:0x477fe100)
322 to double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (OK)
327 from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80)
328 to double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (OK)
333 from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000)
334 to double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (OK)
339 from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080)
340 to double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (OK)
345 from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b)
346 to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (OK)
351 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
352 to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
357 from single: f32(inf:0x7f800000)
358 to double: f64(inf:0x007ff0000000000000) (OK)
363 from single: f32(-nan:0x7fc00000)
364 to double: f64(-nan:0x00ffffffffffffffff) (OK)
369 from single: f32(-nan:0x7fa00000)
370 to double: f64(-nan:0x00ffffffffffffffff) (INVALID)
376 from single: f32(-nan:0xffa00000)
377 to double: f64(-nan:0x00ffffffffffffffff) (INVALID)
382 from single: f32(-nan:0xffc00000)
383 to double: f64(-nan:0x00ffffffffffffffff) (OK)
388 from single: f32(-inf:0xff800000)
389 to double: f64(-inf:0x00fff0000000000000) (OK)
392 to uint32: 0 (INVALID)
393 to uint64: 0 (INVALID)
394 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
395 to double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
398 to uint32: 0 (INVALID)
399 to uint64: 0 (INVALID)
400 from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59)
401 to double: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (OK)
404 to uint32: 0 (INVALID)
405 to uint64: 0 (INVALID)
406 from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)
407 to double: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (OK)
410 to uint32: 0 (INVALID)
411 to uint64: 0 (INVALID)
412 from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8)
413 to double: f64(-0x1.31f75000000000000000p-40:0x00bd731f7500000000) (OK)
414 to int32: 0 (INEXACT )
415 to int64: 0 (INEXACT )
416 to uint32: 0 (INVALID)
417 to uint64: 0 (INVALID)
418 from single: f32(-0x1.50544400000000000000p-66:0x9ea82a22)
419 to double: f64(-0x1.50544400000000000000p-66:0x00bbd5054440000000) (OK)
420 to int32: 0 (INEXACT )
421 to int64: 0 (INEXACT )
422 to uint32: 0 (INVALID)
423 to uint64: 0 (INVALID)
424 from single: f32(-0x1.00000000000000000000p-126:0x80800000)
425 to double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK)
426 to int32: 0 (INEXACT )
427 to int64: 0 (INEXACT )
428 to uint32: 0 (INVALID)
429 to uint64: 0 (INVALID)
430 from single: f32(0x0.00000000000000000000p+0:0000000000)
431 to double: f64(0x0.00000000000000000000p+0:00000000000000000000) (OK)
432 to int32: 0 (OK)
433 to int64: 0 (OK)
434 to uint32: 0 (OK)
435 to uint64: 0 (OK)
436 from single: f32(0x1.00000000000000000000p-126:0x00800000)
437 to double: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK)
438 to int32: 0 (INEXACT )
439 to int64: 0 (INEXACT )
440 to uint32: 0 (INEXACT )
441 to uint64: 0 (INEXACT )
442 from single: f32(0x1.00000000000000000000p-25:0x33000000)
443 to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK)
444 to int32: 0 (INEXACT )
445 to int64: 0 (INEXACT )
446 to uint32: 0 (INEXACT )
447 to uint64: 0 (INEXACT )
448 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
449 to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (OK)
450 to int32: 0 (INEXACT )
451 to int64: 0 (INEXACT )
452 to uint32: 0 (INEXACT )
453 to uint64: 0 (INEXACT )
454 from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d)
455 to double: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (OK)
456 to int32: 0 (INEXACT )
457 to int64: 0 (INEXACT )
458 to uint32: 0 (INEXACT )
459 to uint64: 0 (INEXACT )
460 from single: f32(0x1.00000c00000000000000p-14:0x38800006)
461 to double: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (OK)
462 to int32: 0 (INEXACT )
463 to int64: 0 (INEXACT )
464 to uint32: 0 (INEXACT )
465 to uint64: 0 (INEXACT )
466 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
467 to double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
472 from single: f32(0x1.00400000000000000000p+0:0x3f802000)
473 to double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (OK)
478 from single: f32(0x1.00000000000000000000p+1:0x40000000)
479 to double: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK)
484 from single: f32(0x1.5bf0a800000000000000p+1:0x402df854)
485 to double: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (OK)
490 from single: f32(0x1.921fb600000000000000p+1:0x40490fdb)
491 to double: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (OK)
496 from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00)
497 to double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (OK)
502 from single: f32(0x1.ffc00000000000000000p+15:0x477fe000)
503 to double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (OK)
508 from single: f32(0x1.ffc20000000000000000p+15:0x477fe100)
509 to double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (OK)
514 from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80)
515 to double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (OK)
520 from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000)
521 to double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (OK)
526 from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080)
527 to double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (OK)
532 from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b)
533 to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (OK)
538 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
539 to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
544 from single: f32(inf:0x7f800000)
545 to double: f64(inf:0x007ff0000000000000) (OK)
550 from single: f32(-nan:0x7fc00000)
551 to double: f64(-nan:0x00ffffffffffffffff) (OK)
556 from single: f32(-nan:0x7fa00000)
557 to double: f64(-nan:0x00ffffffffffffffff) (INVALID)
563 from single: f32(-nan:0xffa00000)
564 to double: f64(-nan:0x00ffffffffffffffff) (INVALID)
569 from single: f32(-nan:0xffc00000)
570 to double: f64(-nan:0x00ffffffffffffffff) (OK)
575 from single: f32(-inf:0xff800000)
576 to double: f64(-inf:0x00fff0000000000000) (OK)
579 to uint32: 0 (INVALID)
580 to uint64: 0 (INVALID)
581 from single: f32(-0x1.fffffe00000000000000p+127:0xff7fffff)
582 to double: f64(-0x1.fffffe00000000000000p+127:0x00c7efffffe0000000) (OK)
585 to uint32: 0 (INVALID)
586 to uint64: 0 (INVALID)
587 from single: f32(-0x1.1874b200000000000000p+103:0xf30c3a59)
588 to double: f64(-0x1.1874b200000000000000p+103:0x00c661874b20000000) (OK)
591 to uint32: 0 (INVALID)
592 to uint64: 0 (INVALID)
593 from single: f32(-0x1.c0bab600000000000000p+99:0xf1605d5b)
594 to double: f64(-0x1.c0bab600000000000000p+99:0x00c62c0bab60000000) (OK)
597 to uint32: 0 (INVALID)
598 to uint64: 0 (INVALID)
599 from single: f32(-0x1.31f75000000000000000p-40:0xab98fba8)
600 to double: f64(-0x1.31f75000000000000000p-40:0x00bd731f7500000000) (OK)
601 to int32: 0 (INEXACT )
602 to int64: 0 (INEXACT )
603 to uint32: 0 (INVALID)
604 to uint64: 0 (INVALID)
605 from single: f32(-0x1.50544400000000000000p-66:0x9ea82a22)
606 to double: f64(-0x1.50544400000000000000p-66:0x00bbd5054440000000) (OK)
607 to int32: 0 (INEXACT )
608 to int64: 0 (INEXACT )
609 to uint32: 0 (INVALID)
610 to uint64: 0 (INVALID)
611 from single: f32(-0x1.00000000000000000000p-126:0x80800000)
612 to double: f64(-0x1.00000000000000000000p-126:0x00b810000000000000) (OK)
613 to int32: 0 (INEXACT )
614 to int64: 0 (INEXACT )
615 to uint32: 0 (INVALID)
616 to uint64: 0 (INVALID)
617 from single: f32(0x0.00000000000000000000p+0:0000000000)
618 to double: f64(0x0.00000000000000000000p+0:00000000000000000000) (OK)
619 to int32: 0 (OK)
620 to int64: 0 (OK)
621 to uint32: 0 (OK)
622 to uint64: 0 (OK)
623 from single: f32(0x1.00000000000000000000p-126:0x00800000)
624 to double: f64(0x1.00000000000000000000p-126:0x003810000000000000) (OK)
625 to int32: 0 (INEXACT )
626 to int64: 0 (INEXACT )
627 to uint32: 0 (INEXACT )
628 to uint64: 0 (INEXACT )
629 from single: f32(0x1.00000000000000000000p-25:0x33000000)
630 to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK)
631 to int32: 0 (INEXACT )
632 to int64: 0 (INEXACT )
633 to uint32: 0 (INEXACT )
634 to uint64: 0 (INEXACT )
635 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
636 to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (OK)
637 to int32: 0 (INEXACT )
638 to int64: 0 (INEXACT )
639 to uint32: 0 (INEXACT )
640 to uint64: 0 (INEXACT )
641 from single: f32(0x1.ff801a00000000000000p-15:0x387fc00d)
642 to double: f64(0x1.ff801a00000000000000p-15:0x003f0ff801a0000000) (OK)
643 to int32: 0 (INEXACT )
644 to int64: 0 (INEXACT )
645 to uint32: 0 (INEXACT )
646 to uint64: 0 (INEXACT )
647 from single: f32(0x1.00000c00000000000000p-14:0x38800006)
648 to double: f64(0x1.00000c00000000000000p-14:0x003f100000c0000000) (OK)
649 to int32: 0 (INEXACT )
650 to int64: 0 (INEXACT )
651 to uint32: 0 (INEXACT )
652 to uint64: 0 (INEXACT )
653 from single: f32(0x1.00000000000000000000p+0:0x3f800000)
654 to double: f64(0x1.00000000000000000000p+0:0x003ff0000000000000) (OK)
659 from single: f32(0x1.00400000000000000000p+0:0x3f802000)
660 to double: f64(0x1.00400000000000000000p+0:0x003ff0040000000000) (OK)
665 from single: f32(0x1.00000000000000000000p+1:0x40000000)
666 to double: f64(0x1.00000000000000000000p+1:0x004000000000000000) (OK)
671 from single: f32(0x1.5bf0a800000000000000p+1:0x402df854)
672 to double: f64(0x1.5bf0a800000000000000p+1:0x004005bf0a80000000) (OK)
677 from single: f32(0x1.921fb600000000000000p+1:0x40490fdb)
678 to double: f64(0x1.921fb600000000000000p+1:0x00400921fb60000000) (OK)
683 from single: f32(0x1.ffbe0000000000000000p+15:0x477fdf00)
684 to double: f64(0x1.ffbe0000000000000000p+15:0x0040effbe000000000) (OK)
689 from single: f32(0x1.ffc00000000000000000p+15:0x477fe000)
690 to double: f64(0x1.ffc00000000000000000p+15:0x0040effc0000000000) (OK)
695 from single: f32(0x1.ffc20000000000000000p+15:0x477fe100)
696 to double: f64(0x1.ffc20000000000000000p+15:0x0040effc2000000000) (OK)
701 from single: f32(0x1.ffbf0000000000000000p+16:0x47ffdf80)
702 to double: f64(0x1.ffbf0000000000000000p+16:0x0040fffbf000000000) (OK)
707 from single: f32(0x1.ffc00000000000000000p+16:0x47ffe000)
708 to double: f64(0x1.ffc00000000000000000p+16:0x0040fffc0000000000) (OK)
713 from single: f32(0x1.ffc10000000000000000p+16:0x47ffe080)
714 to double: f64(0x1.ffc10000000000000000p+16:0x0040fffc1000000000) (OK)
719 from single: f32(0x1.c0bab600000000000000p+99:0x71605d5b)
720 to double: f64(0x1.c0bab600000000000000p+99:0x00462c0bab60000000) (OK)
725 from single: f32(0x1.fffffe00000000000000p+127:0x7f7fffff)
726 to double: f64(0x1.fffffe00000000000000p+127:0x0047efffffe0000000) (OK)
731 from single: f32(inf:0x7f800000)
732 to double: f64(inf:0x007ff0000000000000) (OK)
737 from single: f32(-nan:0x7fc00000)
738 to double: f64(-nan:0x00ffffffffffffffff) (OK)
743 from single: f32(-nan:0x7fa00000)
744 to double: f64(-nan:0x00ffffffffffffffff) (INVALID)