ok && i32 <= i64
