half(i64 * f64)
