ok && i64 <= i32
