i < i64 - i32
