RV32 div tests should use -2^31 for min value, not -2^63