half(f64) - i32
