Add test case with negative modulus