f64 ^ i32 >= i
