half(f64) < i32
