f32 * i64 < half(f64)
