half(i32 / f64)
