half(f64) > f32 * 0.5
