Avoid tests like (A*B > 0) for integer A, B because of possible overflow