i <= i32 - i64
