f64 ^ i64 >= i32
