i64 * half(f64)
