half(f64) / i32
