i32 >= abs(i64)
