It's very easy to implement the check wrong, most people only check if denominator is 0, but not `i32::MIN / -1`.