f32 < half(f64)
