| blob | 7f4040cef88ecbe91cc9534ec08872885cc080f3 |
1 ### Rounding to nearest
2 from 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)
8 from 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)
14 from 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)
20 from 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)
26 from 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)
32 from 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)
38 from 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)
44 from 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)
50 from 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)
56 from 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)
62 from 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 )
68 from 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 )
74 from 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)
80 from 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 )
86 from 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 )
92 from 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 )
98 from 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 )
104 from 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 )
110 from 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)
116 from 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 )
122 from 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 )
128 from 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 )
134 from 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 )
140 from 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)
146 from 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)
152 from 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 )
158 from 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 )
164 from 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)
170 from 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)
176 from 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)
182 from 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)
188 from 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)
194 from 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)
200 from 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)
206 from 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)
212 from 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)
218 from 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)
224 from 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)
230 from 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)
236 from 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)
242 from 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
249 from 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)
255 from 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)
261 from 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)
267 from 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)
273 from 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)
279 from 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)
285 from 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)
291 from 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)
297 from 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)
303 from 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)
309 from 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 )
315 from 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 )
321 from 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)
327 from 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 )
333 from 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 )
339 from 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 )
345 from 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 )
351 from 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 )
357 from 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)
363 from 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 )
369 from 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 )
375 from 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 )
381 from 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 )
387 from 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)
393 from 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)
399 from 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 )
405 from 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 )
411 from 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)
417 from 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)
423 from 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)
429 from 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)
435 from 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)
441 from 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)
447 from 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)
453 from 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)
459 from 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)
465 from 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)
471 from 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)
477 from 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)
483 from 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)
489 from 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
496 from 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)
502 from 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)
508 from 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)
514 from 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)
520 from 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)
526 from 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)
532 from 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)
538 from 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)
544 from 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)
550 from 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)
556 from 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 )
562 from 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 )
568 from 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)
574 from 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 )
580 from 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 )
586 from 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 )
592 from 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 )
598 from 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 )
604 from 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)
610 from 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 )
616 from 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 )
622 from 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 )
628 from 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 )
634 from 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)
640 from 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)
646 from 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 )
652 from 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 )
658 from 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)
664 from 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)
670 from 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)
676 from 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)
682 from 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)
688 from 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)
694 from 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)
700 from 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)
706 from 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)
712 from 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)
718 from 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)
724 from 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)
730 from 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)
736 from 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
743 from 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)
749 from 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)
755 from 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)
761 from 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)
767 from 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)
773 from 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)
779 from 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)
785 from 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)
791 from 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)
797 from 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)
803 from 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 )
809 from 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 )
815 from 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)
821 from 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 )
827 from 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 )
833 from 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 )
839 from 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 )
845 from 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 )
851 from 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)
857 from 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 )
863 from 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 )
869 from 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 )
875 from 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 )
881 from 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)
887 from 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)
893 from 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 )
899 from 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 )
905 from 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)
911 from 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)
917 from 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)
923 from 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)
929 from 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)
935 from 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)
941 from 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)
947 from 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)
953 from 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)
959 from 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)
965 from 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)
971 from 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)
977 from 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)
983 from 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)