Lines Matching full:25

68 from single: f32(0x1.00000000000000000000p-25:0x33000000)
69   to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK)
74 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
75   to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (OK)
255 from single: f32(0x1.00000000000000000000p-25:0x33000000)
256   to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK)
261 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
262   to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (OK)
442 from single: f32(0x1.00000000000000000000p-25:0x33000000)
443   to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK)
448 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
449   to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (OK)
629 from single: f32(0x1.00000000000000000000p-25:0x33000000)
630   to double: f64(0x1.00000000000000000000p-25:0x003e60000000000000) (OK)
635 from single: f32(0x1.ffffe600000000000000p-25:0x337ffff3)
636   to double: f64(0x1.ffffe600000000000000p-25:0x003e6ffffe60000000) (OK)