half(f64 * i32)
