half(f64) * i64
