f32 >= half(f64)
