half(f64) >= f32
