not (f64 > f32)
