i64 != half(f64)
